7 Strictification for closed and compact closed bicategories

Chapters in this book

1. Frontmatter I
2. Contents V
3. 1 Introduction 1
4. 2 Background 10
5. 3 Interlude on string diagrams: notations and conventions 46
6. 4 2-dimensional enrichment 52
7. 5 Closed monoidal 2-categories 84
8. 6 Compact closed 2-categories 105
9. 7 Strictification for closed and compact closed bicategories 160
10. 8 Examples 185
11. Acknowledgements
12. A Strictifying monoidal bicategories 205
13. B Computads and strictification for symmetric monoidal bicategories 209
14. C Large diagrams and arguments 217
15. D List of major definitions and results 251
16. Bibliography
17. Index 263