Tangentads: a formal approach to tangent categories
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866911160113037312 |
|---|---|
| author | Lanfranchi, Marcello |
| author_facet | Lanfranchi, Marcello |
| contents | Tangent category theory is a well-established categorical context for differential geometry. In a previous paper, a formal approach was adopted to provide a genuine Grothendieck construction in the context of tangent categories by introducing tangentads. A tangentad is to a tangent category as a formal monad is to a monad of a category. In this paper, we discuss the formal notion of tangentads, construct a $2$-comonad structure on the $2$-functor of tangentads, and introduce Cartesian, adjunctable, and representable tangentads. We also reinterpret the subtangent structure with negatives of a tangent structure as a right Kan extension. Furthermore, we present numerous examples of tangentads, such as tangent (split) restriction categories, tangent fibrations, tangent monads, display tangent categories, and infinitesimal objects. Finally, we employ the formal approach to prove that every tangent monad admits the construction of algebras, provided the underlying monad does, and show that tangent split restriction categories are $2$-equivalent to tangent $\mathscr{M}$-categories. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2503_18354 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Tangentads: a formal approach to tangent categories Lanfranchi, Marcello Category Theory 18F40, 18D70, 18C15, 18C20 Tangent category theory is a well-established categorical context for differential geometry. In a previous paper, a formal approach was adopted to provide a genuine Grothendieck construction in the context of tangent categories by introducing tangentads. A tangentad is to a tangent category as a formal monad is to a monad of a category. In this paper, we discuss the formal notion of tangentads, construct a $2$-comonad structure on the $2$-functor of tangentads, and introduce Cartesian, adjunctable, and representable tangentads. We also reinterpret the subtangent structure with negatives of a tangent structure as a right Kan extension. Furthermore, we present numerous examples of tangentads, such as tangent (split) restriction categories, tangent fibrations, tangent monads, display tangent categories, and infinitesimal objects. Finally, we employ the formal approach to prove that every tangent monad admits the construction of algebras, provided the underlying monad does, and show that tangent split restriction categories are $2$-equivalent to tangent $\mathscr{M}$-categories. |
| title | Tangentads: a formal approach to tangent categories |
| topic | Category Theory 18F40, 18D70, 18C15, 18C20 |
| url | https://arxiv.org/abs/2503.18354 |