Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2407.06515 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910583785259008 |
|---|---|
| author | Ching, Michael |
| author_facet | Ching, Michael |
| contents | A tangent category is a categorical abstraction of the tangent bundle construction for smooth manifolds. In that context, Cockett and Cruttwell develop the notion of differential bundle which, by work of MacAdam, generalizes the notion of smooth vector bundle to the abstract setting. Here we provide a new characterization of differential bundles and show that, up to isomorphism, a differential bundle is determined by its projection map and zero section. We show how these results can be used to quickly identify differential bundles in various tangent categories. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_06515 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A characterization of differential bundles in tangent categories Ching, Michael Category Theory 18F40 A tangent category is a categorical abstraction of the tangent bundle construction for smooth manifolds. In that context, Cockett and Cruttwell develop the notion of differential bundle which, by work of MacAdam, generalizes the notion of smooth vector bundle to the abstract setting. Here we provide a new characterization of differential bundles and show that, up to isomorphism, a differential bundle is determined by its projection map and zero section. We show how these results can be used to quickly identify differential bundles in various tangent categories. |
| title | A characterization of differential bundles in tangent categories |
| topic | Category Theory 18F40 |
| url | https://arxiv.org/abs/2407.06515 |