Spahn notes on Lawvere-Tierney topologies, monads, object classifiers, local toposes, indexed functors (history)

January 13, 2013