Enrichment and internalization in tricategories, the case of tensor categories and alternative notion to intercategories

内容摘要

This paper emerged as a result of tackling the following three issues. Firstly, we would like the well known embedding of bicategories into pseudo double categories to be monoidal, which it is not if one uses the usual notion of a monoidal pseudo double category. Secondly, in \cite{Gabi} the question was raised: which would be an alternative notion to intercategories of Grandis and Paré, so that monoids in Böhm's monoidal category $(Dbl,\ot)$ of strict double categories and strict double functors with a Gray type monoidal product be an example of it? We obtain and prove that precisely the monoidal structure of $(Dbl,\ot)$ resolves the first question. On the other hand, resolving the second question, we upgrade the category $Dbl$ to a tricategory $\DblPs$ and propose %an alternative definition of intercategories as to consider internal categories in this tricategory. %, enabling monoids in $(Dbl,\ot)$ to be examples of this gadget. Apart from monoids in $(Dbl,\ot)$ - more importanlty, weak pseudomonoids in a tricategory containing $(Dbl,\ot)$ as a sub 1-category - most of the examples of intercategories are also examples of this gadget, the ones that escape are those that rely on la