Coherence Tactics
Coherence Tactics
Table of Contents
1.
Overview
2.
The Coherence Theorem
3.
Monoidal and Bicategory Tactics
3.
Monoidal and Bicategory Tactics
3.1.
monoidal
and
bicategory
3.2.
Implementation
←
2.1. Implementation
3.1. monoidal and bicategory
→
3. Monoidal and Bicategory Tactics
🔗
3.1.
monoidal
and
bicategory
3.2.
Implementation
←
2.1. Implementation
3.1. monoidal and bicategory
→