Lane: Coherence in closed categories (1971)

by G M Kelly, S Mac
Venue:J. Pure Appl. Algebra