Coherence theorems for lax algebras and for distributive laws (1974)

by Kelly
Venue:In Category seminar