Spahn monads, operads, algebraic theories, substitution (history)

January 9, 2013