2015/01/08 by Anders Kock, Kock, Anders
Computer Science · Mathematics · #18D30 #Category Theory (math.CT) #FOS: Mathematics #Geometric and Algebraic Topology #Homotopy and Cohomology in Algebraic Topology #Logic, programming, and type systems
paper · pdf · doi:10.48550/arxiv.1501.01947
openalex publication_date 2015/01/08 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.