Affine geometric spaces in tangent categories
From MaRDI portal
(Redirected from Publication:4632601)
Abstract: We continue the program of structural differential geometry that begins with the notion of a tangent category, an axiomatization of structural aspects of the tangent functor on the category of smooth manifolds. In classical geometry, having an affine structure on a manifold is equivalent to having a flat torsion-free connection on its tangent bundle. This equivalence allows us to define a category of affine objects associated to a tangent category and we show that the resulting category is also a tangent category, as are several related categories. As a consequence of some of these ideas we also give two new characterizations of flat torsion-free connections. We also consider 2-categorical structure associated to the category of tangent categories and demonstrate that assignment of the tangent category of affine objects to a tangent category induces a 2-comonad. Finally, following work of Jubin, we consider monads and comonads on the category of affine objects associated to a tangent category. We show that there is a rich theory of monads and comonads in this setting as well as various distributive laws and mixed distributive laws relating these monads and comonads. Even in the category of smooth manifolds, several of these results are new or fill in gaps in the existing literature.
Recommendations
Cites work
- A convenient differential category
- A simplicial foundation for differential and sector forms in tangent categories
- An embedding theorem for tangent categories
- Bimonads and Hopf monads on categories
- Cartesian differential categories
- Classifying tangent structures using Weil algebras
- Connections in tangent categories
- Connections, Sprays and Finsler Structures
- Connexion preserving, conformal, and parallel maps
- Connexions and Prolongations
- Differential bundles and fibrations for tangent categories
- Differential categories
- Differential structure, tangent structure, and SDG
- Directional derivatives and higher order chain rules for abelian functor calculus
- Forms and exterior differentiation in Cartesian differential categories
- Holonomy of flat affinely connected manifolds
- scientific article; zbMATH DE number 3904807 (Why is no real title available?)
- scientific article; zbMATH DE number 3931232 (Why is no real title available?)
- scientific article; zbMATH DE number 193292 (Why is no real title available?)
- scientific article; zbMATH DE number 3576269 (Why is no real title available?)
- scientific article; zbMATH DE number 1246686 (Why is no real title available?)
- scientific article; zbMATH DE number 1077733 (Why is no real title available?)
- scientific article; zbMATH DE number 1111371 (Why is no real title available?)
- scientific article; zbMATH DE number 205892 (Why is no real title available?)
- scientific article; zbMATH DE number 790016 (Why is no real title available?)
- scientific article; zbMATH DE number 3893388 (Why is no real title available?)
- Linear logic
- On the geometric notion of connection and its expression in tangent categories
- Synthetic differential geometry
- The differential lambda-calculus
- The Jacobi identity for tangent categories
- The structure of complete locally affine manifolds
- Two examples of affine manifolds
- Two-dimensional monad theory
Cited in
(5)- Differential equations in a tangent category. I: Complete vector fields, flows, and exponentials
- On the geometric notion of connection and its expression in tangent categories
- Connections in tangent categories
- A tangent category perspective on connections in algebraic geometry
- The Rosický tangent categories of algebras over an operad
This page was built for publication: Affine geometric spaces in tangent categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4632601)
