Authors: Femić, Bojana 
Ghiorzi, Enrico
Affiliations: Mathematics 
Mathematical Institute of the Serbian Academy of Sciences and Arts 
Title: Internalization and enrichment via spans and matrices in a tricategory
Journal: Journal of Algebraic Combinatorics
Issue Date: 2023
Rank: ~M22
ISSN: 0925-9899
DOI: 10.1007/s10801-022-01188-1
We introduce categories M and S internal in the tricategory Bicat 3 of bicategories, pseudofunctors, pseudonatural transformations and modifications, for matrices and spans in a 1-strict tricategory V. Their horizontal tricategories are the tricategories of matrices and spans in V. Both the internal and the enriched constructions are tricategorifications of the corresponding constructions in 1-categories. Following Fiore et al. (J Pure Appl Algebra 215(6):1174–1197, 2011), we introduce monads and their vertical morphisms in categories internal in tricategories. We prove an equivalent condition for when the internal categories for matrices M and spans S in a 1-strict tricategory V are equivalent, and deduce that in that case their corresponding categories of (strict) monads and vertical monad morphisms are equivalent, too. We prove that the latter categories are isomorphic to those of categories enriched and discretely internal in V, respectively. As a by-product of our tricategorical constructions, we recover some results from Femić (Enrichment and internalization in tricategories, the case of tensor categories and alternative notion to intercategories. arXiv:2101.01460v2). Truncating to 1-categories, we recover results from Cottrell et al. (Tbilisi Math J 10(3):239–254, 2017) and Ehresmann and Ehresmann (Cah Topol Géom Differ Catég 19/4:387–443, 1978) on the equivalence of enriched and discretely internal 1-categories.
Keywords: Bicategory | Double category | Internal and enriched category | Monads | Tricategory
Publisher: Springer Link

Files in This Item:
File Description SizeFormat
BFemic.pdf707.22 kBAdobe PDFView/Open
Show full item record

Page view(s)

checked on May 9, 2024


checked on May 9, 2024

Google ScholarTM




This item is licensed under a Creative Commons License Creative Commons