Many-variable functorial calculus (I (1972)

by G M Kelly
Venue:Lecture Notes in Mathematics, Coherence in Categories 281