Abstract:We introduce the basic notions and present examples and results on Lie categories -- categories internal to the category of smooth manifolds. Demonstrating how the units of a Lie category $\mathcal C$ dictate the behavior of its invertible morphisms $\mathcal G(\mathcal C)$, we develop sufficient conditions for $\mathcal G(\mathcal C)$ to form a Lie groupoid. We show that the construction of Lie algebroids from the theory of Lie groupoids carries through, and ask when the Lie algebroid of $\mathcal G(\mathcal C)$ is recovered. We reveal that the lack of invertibility assumption on morphisms leads to a natural generalization of rank from linear algebra, develop its general properties, and show how the existence of an extension $\mathcal C\hookrightarrow \mathcal G$ of a Lie category to a Lie groupoid affects the ranks of morphisms and the algebroids of $\mathcal C$. Furthermore, certain completeness results for invariant vector fields on Lie monoids and Lie categories with well-behaved boundaries are obtained. Interpreting the developed framework in the context of physical processes, we yield a rigorous approach to the theory of statistical thermodynamics by observing that entropy change, associated to a physical process, is a functor.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to extend the theory of Lie groupoids by introducing the concept of Lie categories, so as to cover a wider range of mathematical structures, especially those cases that do not satisfy the invertibility assumption. Specifically:
1. **Introducing the basic concepts of Lie categories**: The paper first defines Lie categories, which is a categorical structure within the category of smooth manifolds, where both the object set and the morphism set are smooth manifolds, and the source map, target map, identity map and composition map are all smooth.
2. **Exploring the invertibility of morphisms**: The paper studies the invertibility conditions of morphisms in Lie categories and how these conditions affect the behavior of morphisms. In particular, the paper shows how to determine the behavior of invertible morphisms through the identity elements of Lie categories and proposes sufficient conditions for invertible morphisms to form a Lie groupoid.
3. **Construction of Lie algebroids**: The paper discusses how the method of constructing Lie algebroids from the theory of Lie groupoids can be generalized to Lie categories. This includes the definitions and properties of left - invariant and right - invariant vector fields, as well as the definitions of the anchor map and Lie bracket of Lie algebroids.
4. **Generalization of rank**: The paper introduces a natural concept of rank, which is a generalization of the concept of rank in linear algebra to Lie categories. The paper studies the properties of this rank and explores the impact on rank when Lie categories are extended to Lie groupoids.
5. **Completeness results**: The paper also obtains completeness results on invariant vector fields over Lie monoids and Lie categories, especially in the case of well - behaved boundaries.
6. **Physical applications**: Finally, the paper applies the developed framework to physics, especially statistical thermodynamics. By regarding entropy change as a functor, the paper provides a rigorous theoretical method for statistical thermodynamics.
In conclusion, this paper aims to fill the gaps in the theory of Lie groupoids by introducing the concept of Lie categories and provide a new mathematical framework for describing irreversible processes. This not only enriches the mathematical theory but also provides new tools for the description of physical systems.