The Azimuth Project
Lawvere 2-theory (history)

January 18, 2020

January 17, 2020