2016/08/08 by Krzysztof Worytkiewicz, Worytkiewicz, Krzysztof
Computer Science · Mathematics · #Advanced Algebra and Logic #Advanced Topology and Set Theory #Algebraic Topology (math.AT) #Constraint Satisfaction and Optimization #FOS: Mathematics
paper · pdf · doi:10.48550/arxiv.1608.02509
openalex publication_date 2016/08/08 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We study formal counterparts of Hurewicz fibrations and related topological notions in elementary toposes with NNO. The constructions are based on a specific notion of interval and lead to a structure of category of fibrant objects on toposes equipped with such a datum. We get in fact slightly more as the building blocks are derived from a weak factorisation system.