Spahn monad on a quasicategory (history)

February 28, 2013