Elementary fibrations of enriched groupoids

DOI10.1017/S096012952100030XOpenAlexW3215835134MaRDI QIDQ5084307

Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini

Publication date: 24 June 2022

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

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

zbMATH Keywords

groupoid modelalgebraic weak factorisation systemelementary fibrations

Mathematics Subject Classification ID

Type theory (03B38)

Related Items (1)

MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS

Cites Work

• Quotient completion for the foundation of constructive mathematics
• Algebraic weak factorisation systems. I: Accessible AWFS.
• Categorical logic and type theory
• A characterisation of elementary fibrations
• Elementary doctrines as coalgebras
• Unifying exact completions
• Elementary quotient completion
• Topological and Simplicial Models of Identity Types
• On Enriched Fibrations
• Extensional Constructs in Intensional Type Theory
• Homotopy Type Theory: Univalent Foundations of Mathematics
• Understanding the small object argument
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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