Fundamentals of Lie categories

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.