Coherence for compact closed categories (1980)

by G M Kelly, M L Laplaza
Venue:Journal of Pure and Applied Algebra