lSpace An informal introduction to topos theory (history)

January 3, 2011