Internalization and enrichment via spans and matrices in a tricategory (2203.16179v2)

Abstract: 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 \cite{FGK} 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 byproduct of our tricategorical constructions we recover some results from \cite{Fem}. Truncating to 1-categories we recover results from \cite{CFP} and \cite{Ehr} on the equivalence of enriched and discretely internal 1-categories.