The formal theory of monads (1972)

by Ross Street
Venue:J. Pure Appl. Algebra