Abstract
The purpose of this chapter is to study coherence of involutive monoidal categories. The next chapter will deal with the symmetric case. In Section 5.1 and Section 5.2, we give explicit constructions of the free involutive monoidal category and of the free involutive strict monoidal category generated by a category. We observe that they are equivalent via a strict involutive strict monoidal functor. In Section 5.3 we show that in a small involutive monoidal category, every formal diagram is commutative. Here a formal diagram is defined as in the case of monoidal categories, but with the involutive structure also taken into account. In Section 5.4 we show that every involutive monoidal category can be strictified to an involutive strict monoidal category via an involutive adjoint equivalence involving involutive strong monoidal functors. The remaining two sections contain explicit constructions of the free involutive (strict) monoidal category generated by an involutive category.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
D.B.A. Epstein, Functors between tensored categories. Invent. Math. 1, 221–228 (1966)
A. Joyal, R. Street, Braided tensor categories. Adv. Math. 102, 20–78 (1993)
S. Mac Lane, Categories for the working mathematician, Graduate Texts in Mathematics, vol. 5, 2nd ed. (Springer, New York, 1998)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2020 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Yau, D. (2020). Coherence of Involutive Monoidal Categories. In: Involutive Category Theory. Lecture Notes in Mathematics, vol 2279. Springer, Cham. https://doi.org/10.1007/978-3-030-61203-0_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-61203-0_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-61202-3
Online ISBN: 978-3-030-61203-0
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)