Spahn codensity monad (history)

October 19, 2018

December 27, 2012