Abstract: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 laxness of the product on the pullback, as duoidal categories. For the latter purpose we define categories internal to tricategories (of the type of $\DblPs$), which simultaneously serves our third motive. Namely, inspired by the tricategory and $(1\times 2)$-category of tensor categories, we prove under mild conditions that categories enriched over certain type of tricategories may be made into categories internal in them. We illustrate this occurrence for tensor categories with respect to the ambient tricategory $2\x\Cat_{wk}$ of 2-categories, pseudofunctors, pseudonatural transformations and modifications.
What problem does this paper attempt to address?
This paper attempts to solve the following three main problems:
1. **The problem of making the embedding from bicategories to pseudo - double categories a monomorphism**:
- Firstly, the paper explores how to make the known embedding from bicategories to pseudo - double categories a monomorphism. Specifically, if using the monomorphism pseudo - double category in the usual sense, this embedding is not a monomorphism. The author solves this problem by introducing a specific monomorphism structure, that is, embedding the Gray monomorphism category in the monomorphism category \((\text{Dbl}, \otimes)\), thus making the embedding a monomorphism.
2. **Finding an alternative concept of intercategories**:
- The second problem is about how to find an alternative concept of intercategories so that the monomorphisms in Böhm's monomorphism category \((\text{Dbl}, \otimes)\) become an example of it. The author proposes a new framework, that is, regarding the categories inside strict double categories and pseudo - double functors as internal categories in tricategories, thus solving this problem.
3. **Enriching and internalizing tensor categories in tricategories**:
- Finally, the paper explores how to enrich and internalize tensor categories in tricategories. The author proves that under certain conditions, the categories enriched in a specific type of tricategories can be transformed into internal categories in these tricategories. Specifically applied to tensor categories, it shows how to enrich and internalize the tensor category \(Tens\) in the 2 - category \(\text{2 - Cat}_{\text{wk}}\).
### Specific solutions
1. **The monomorphism embedding problem**:
- The author embeds the Gray monomorphism category into the monomorphism category \((\text{Dbl}, \otimes)\), describes the monomorphism structure in detail, and proves that this embedding is a monomorphism. This involves defining cubical double functors and verifying their properties.
2. **The alternative concept of intercategories**:
- The author proposes a new tricategory \(\text{DblPs}\), where 1 - cells are pseudo - double functors. By introducing 2 - cells and 3 - cells, the author constructs a tricategory structure and proves that most examples of intercategories can be represented in this new framework, except for duoidal categories that depend on lax functors.
3. **The enrichment and internalization of tensor categories**:
- The author defines pullbacks and (co)products in tricategories and introduces the concept of internal categories in 1 - strict tricategories. Through these definitions, the author proves that under certain conditions, the categories enriched in 1 - strict tricategories can be transformed into internal categories in these tricategories. In particular, the author shows how the tensor category \(Tens\) is enriched and internalized in the 2 - category \(\text{2 - Cat}_{\text{wk}}\).
### Summary
This paper successfully solves the problems of bicategory embedding, intercategory substitution, and the enrichment and internalization of tensor categories by introducing new tricategory structures and rich mathematical tools. These results not only expand the existing theoretical framework but also provide new directions and tools for future research.