Abstract
dc:description.abstractEhresmann’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 ∂ : Weil1 → TGpd, bringing Lie algebroids and the Lie functor into the realm of functorial semantics.
Degree
thesis:*- Name thesis:degree_name
- Doctor of Philosophy (PhD)
- Discipline thesis:degree_discipline
- Computer Science
- Grantor dc:publisher.institution
- Science
- Year dc:date.issued
- 2022
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- MacAdam, Benjamin
- Advisors dc:contributor.advisor
-
- Cockett, J. Robin B.
- Scheidler, Renate
- Committee members dc:contributor.committeemember
-
- Bauer, Kristine
- Ching, Michael
- Bitoun, Thomas
Subjects
dc:subject × 6Rights
dc:rights- Statement dc:rights
-
- University of Calgary graduate students retain copyright ownership and moral rights for their thesis. You may use this material in any way that is permitted by the Copyright Act or through licensing that has been assigned to the document. For uses that are not allowable under copyright legislation or licensing, you are required to seek permission.
- Language dc:language.iso
- eng
Identifiers
dc:identifier.*- OAI identifier oai:identifier
- oai:ucalgary.scholaris.ca:1880/114807