A homotopy-theoretic model of function extensionality in the effective topos
Work
Year: 2018
Type: article
Abstract: We present a way of constructing a Quillen model structure on a full subcategory of an elementary topos, starting with an interval object with connections and a certain dominance. The advantage of thi... more
Authors Dan Frumin, Benno van den Berg
Institutions Radboud University Nijmegen, University of Amsterdam
Cites: 29
Cited by: 4
Related to: 10
FWCI: 0.492
Citation percentile (by year/subfield): 53.81
Subfield: Mathematical Physics
Field: Mathematics
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: green