Alternative notion to intercategories: part I. A tricategory of double categories
arXiv:2010.06673
Abstract
This is a first of a series of two papers. Our motive is to tackle the question raised in Böhm's "The Gray Monoidal Product of Double Categories" from Applied Categorical Structures: which would be an alternative notion to intercategories of Grandis and Paré, so that monoids in Böhm's monoidal category of strict double categories and double pseudo functors be an example of it? Before addressing this question we observe that although bicategories embed into pseudo double categories, this embedding is not monoidal, with the usual notion of a monoidal pseudo double category. We then prove that monoidal bicategories embed into the mentioned monoids of Böhm. In order to fit Böhm's monoid into an intercategory-type object, we start by upgrading the category to a 2-category and end up rather with a tricategory $\DblPs$. We propose an alternative definition of intercategories as internal categories in this tricategory, enabling to be an example of this gadget. The formal definition of a category internal to the (type of a) tricategory (of) $\DblPs$, as well as another important example of these in the literature, we leave for a subsequent paper.
Old Proposition 4.9 deleted, old axiom (T3-3) pulled out as a consequence, some math. typos corrected