Coherence completions of categories and their enriched softness (1997)

by H Hu, A Joyal
Venue:In Electronic Notes in Theoretical Computer Science