The dual fibration in elementary terms
Anders Kock
TL;DR
This paper presents an elementary construction of the dual fibration, avoiding complex categorical notions like pseudo-functors, making the concept more accessible and straightforward.
Contribution
It introduces a new, elementary method for constructing the dual fibration without relying on advanced categorical concepts.
Findings
Provides an accessible construction of the dual fibration.
Avoids use of non-elementary notions like pseudo-functors.
Simplifies understanding of dual fibrations.
Abstract
We give an elementary construction of the dual fibration of a fibration. It does not use the non-elementary notion of (pseudo-) functor into the category of categories.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsHomotopy and Cohomology in Algebraic Topology · Geometric and Algebraic Topology · Logic, programming, and type systems