Cross-Reference Redirection
Cross-Reference Redirection
Table of Contents
1.
Overview
2.
The Coherence Theorem
3.
Monoidal and Bicategory Tactics