|
| | | | |
| | | |
| Stat |
Members: 3665
Articles: 2'599'751
Articles rated: 2609
25 January 2025 |
|
| | | | |
|
Article overview
| |
|
|
The functorial semantics of Lie theory | | Benjamin MacAdam
; | | Date: |
1 Jan 2023 | | Abstract: | Ehresmann’s introduction of differentiable groupoids in the 1950s may be seen
as a starting point for two diverging lines of research, many-object Lie theory
(the study of Lie algebroids and Lie groupoids) and sketch theory. This thesis
uses tangent categories to build a bridge between these two lines of research,
providing a structural account of Lie algebroids and the Lie functor.
To accomplish this, we develop the theory of involution algebroids, which are
a tangent-categorical sketch of Lie algebroids. We show that the category of
Lie algebroids is precisely the category of involution algebroids in smooth
manifolds, and that the category of Weil algebras is precisely the classifying
category of an involution algebroid. This exhibits the category of Lie
algebroids as a tangent-categorical functor category, and the Lie functor via
precomposition with a functor $partial: mathsf{Weil}_1 o
mathcal{T}_{mathsf{Gpd}},$ bringing Lie algebroids and the Lie functor into
the realm of functorial semantics. | | Source: | arXiv, 2301.00305 | | Services: | Forum | Review | PDF | Favorites | |
|
|
No review found.
Did you like this article?
Note: answers to reviews or questions about the article must be posted in the forum section.
Authors are not allowed to review their own article. They can use the forum section.
|
| |
|
|
|
REGISTER