The Azimuth Project
Monoidal Grothendieck Construction (history)

January 17, 2020