Many variable functorial calculus I (1972)

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