Hugo V. Bacard
Abstract:We verify that Kelly's constructions of the internal Hom for enriched categories extends naturally to lax functors taking their values in a symmetric monoidal category. Our motivation is to set up a `calculus on lax functors' that will host the theory of weakly enriched categories that are defined by lax diagrams.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the existence and properties of the internal Hom between lax functors defined in strict 2 - categories. Specifically, the author aims to verify that Kelly's internal Hom construction for enriched categories can be naturally extended to lax functors taking values in symmetric monoidal categories. This work is to establish a "calculus on lax functors", which will provide necessary tools and construction methods for the development of the theory of weakly enriched categories.
### Main contributions of the paper:
1. **Existence of internal Hom**: The paper proves the existence of internal Hom between lax functors in the symmetric monoidal category \(M\). Here, it is assumed that \(M\) is a complete and cocomplete symmetric monoidal category.
2. **Construction of new symmetric closed monoidal categories**: Through the existence of internal Hom, new symmetric closed monoidal categories can be constructed from old ones. In particular, in the category of chain complexes, higher - order linear categories can be iteratively constructed.
3. **Study under weak equivalences**: When there are weak equivalences in \(M\), the paper mainly focuses on those category - like lax diagrams. These lax diagrams are of great significance in homotopy theory, especially the so - called co - Segal enriched categories.
4. **Generalization to symmetric monoidal 2 - categories**: Although the paper mainly discusses symmetric monoidal categories, the author points out that these constructions can be further generalized to symmetric monoidal 2 - categories.
### Key technical points of the paper:
- **Tensor product of lax functors**: The tensor product of lax functors is defined, and it is proved that it forms a symmetric monoidal category.
- **Generalized natural transformations**: Generalized natural transformations (nerve - transformations) in the context of lax functors are introduced, and their composition operations are defined.
- **Classification 2 - category**: A classification 2 - category \(B(F, G)\) is constructed, which establishes a connection between lax functors \(F\) and \(G\).
- **Definition of internal Hom**: The internal Hom \(\text{Hom}(F, G)\) between lax functors \(F\) and \(G\) is defined, and its properties are proved.
- **Canonical evaluation map**: A canonical evaluation map from \(F\boxtimes\text{Hom}(F, G)\) to \(G\) is established.
- **Isomorphism theorem**: The isomorphism relationship between \(\text{Hom}[F\boxtimes E, G]\) and \(\text{Hom}[E, \text{Hom}(F, G)]\) is proved, which is one of the main results of the paper.
### Application prospects:
- **Construction of higher - order linear categories**: Through the existence of internal Hom, higher - order linear categories can be constructed in the category of chain complexes, which is of great significance for fields such as algebraic topology and homological algebra.
- **Development of the theory of weakly enriched categories**: The paper provides necessary tools and methods for the development of the theory of weakly enriched categories, especially for applications in homotopy theory.
- **Generalization to symmetric monoidal 2 - categories**: The methods in the paper can be further generalized to symmetric monoidal 2 - categories, providing a theoretical basis for more complex structures.
In conclusion, by verifying the existence of the internal Hom between lax functors, this paper lays the foundation for the development of the theory of weakly enriched categories and provides important tools and methods for further research in related fields.