Elementary fibrations of enriched groupoids

DOI10.1017/S096012952100030XMaRDI QIDQ5084307zbMATH OpenOpenAlexFDO

Authors Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini

Publication date 24 June 2022

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/s096012952100030x

zbMATH Keywords

algebraic weak factorisation systemelementary fibrationsgroupoid model

Mathematics Subject Classification ID

Type theory (03B38)

Recommendations

• Fibrations of groupoids
• Fibration in groupoid enriched category
• Groupoid Enriched Categories and Homotopy Theory
• Fibrations of bigroupoids
• scientific article; zbMATH DE number 2165883
• scientific article; zbMATH DE number 2202117
• Cofibration in groupoid enriched category
• A topological fibrewise fundamental groupoid
• Fibrations of ordered groupoids and the factorization of ordered functors
• Fibrations of algebraic groups

Cites work

• A characterisation of elementary fibrations
• Algebraic weak factorisation systems. I: Accessible AWFS.
• Categorical logic and type theory
• Elementary doctrines as coalgebras
• Elementary quotient completion
• Extensional constructs in intensional type theory
• Homotopy type theory. Univalent foundations of mathematics
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 1302059 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• scientific article; zbMATH DE number 1418815 (Why is no real title available?)
• scientific article; zbMATH DE number 3370546 (Why is no real title available?)
• Natural weak factorization systems.
• On Enriched Fibrations
• Quotient completion for the foundation of constructive mathematics
• The strict \(\omega\)-groupoid interpretation of type theory
• Topological and simplicial models of identity types
• Understanding the small object argument
• Unifying exact completions

Cited in

(6)

• Serre fibrations in the Morita category of topological groupoids
• A characterisation of elementary fibrations
• Homotopy theoretic models of identity types
• On Enriched Fibrations
• MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS
• Fibrations of bigroupoids

This page was built for publication: Elementary fibrations of enriched groupoids

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5084307)