A 2-categorical proof of Frobenius for fibrations defined from a generic point
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2022
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866929596892446720 |
|---|---|
| author | Hazratpour, Sina Riehl, Emily |
| author_facet | Hazratpour, Sina Riehl, Emily |
| contents | Consider a locally cartesian closed category with an object I and a class of trivial fibrations, which admit sections and are stable under pushforward and retract as arrows. Define the fibrations to be those maps whose Leibniz exponential with the generic point of I defines a trivial fibration. Then the fibrations are also closed under pushforward. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2210_00078 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | A 2-categorical proof of Frobenius for fibrations defined from a generic point Hazratpour, Sina Riehl, Emily Category Theory Algebraic Topology Logic 18N45, 18N40, 03B38, 55U35 Consider a locally cartesian closed category with an object I and a class of trivial fibrations, which admit sections and are stable under pushforward and retract as arrows. Define the fibrations to be those maps whose Leibniz exponential with the generic point of I defines a trivial fibration. Then the fibrations are also closed under pushforward. |
| title | A 2-categorical proof of Frobenius for fibrations defined from a generic point |
| topic | Category Theory Algebraic Topology Logic 18N45, 18N40, 03B38, 55U35 |
| url | https://arxiv.org/abs/2210.00078 |