Abstract:We provide a complete description of the category of pseudo-categories (including pseudo-functors, natural and pseudo-natural transformations and pseudo modifications). A pseudo-category is a non strict version of an internal category. It was called a weak category and weak double category in some earlier papers. When internal to Cat it is at the same time a generalization of a bicategory and a double category.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is to describe and define the structure of "pseudo - categories" and their related mathematical objects, including pseudo - functors, natural transformations, pseudo - natural transformations, and pseudo - modifications. Specifically:
1. **Define pseudo - categories**: A pseudo - category is a non - strict version of an internal category. It is defined in a 2 - category \(C\) as a system \((C_0, C_1, d, c, e, m, \alpha, \lambda, \rho)\), where \(C_0\) and \(C_1\) are objects of \(C\), \(d, c: C_1\rightarrow C_0\), \(e: C_0\rightarrow C_1\), \(m: C_1\times_{C_0}C_1\rightarrow C_1\) are morphisms in \(C\), and there are isomorphisms \(\alpha, \lambda, \rho\) that satisfy certain coherence conditions.
2. **Definition of pseudo - functors**: A pseudo - functor \(F: C\rightarrow C'\) is a system \((F_0, F_1, \mu, \epsilon)\), where \(F_0: C_0\rightarrow C'_0\), \(F_1: C_1\rightarrow C'_1\) are morphisms in \(C\), and \(\mu\) and \(\epsilon\) are 2 - cells that satisfy specific conditions.
3. **Natural transformations and pseudo - natural transformations**: The paper describes in detail the definitions and properties of natural transformations and pseudo - natural transformations. A natural transformation \(\theta: F\rightarrow G\) is a pair of 2 - cells \((\theta_0, \theta_1)\), and a pseudo - natural transformation \(T: F\rightarrow G\) contains two families of 2 - cells \(t\) and \(\tau\) and needs to satisfy some additional conditions.
4. **Definition of pseudo - modifications**: A pseudo - modification \(\Phi\) is a 2 - cell that connects two pseudo - natural transformations and satisfies specific commutative diagram conditions.
5. **Categorical structure of pseudo - categories**: The paper proves that the category \(\text{PsCat}(C)\) of pseudo - categories is Cartesian closed under appropriate conditions, that is, there is an equivalent category \(\text{PsCat}(A\times B, C)\sim\text{PsCat}(A, \text{PsCAT}(B, C))\).
Through these definitions and proofs, the paper aims to provide a complete and rigorous framework for dealing with higher - order categorical structures, especially those that allow a certain degree of flexibility and weakening, such as pseudo - categories. This not only extends the application range of traditional category theory but also provides a theoretical basis for further research on mathematical models of complex systems.