Univalent categories of modules

DOI10.1017/s0960129523000178arXiv2207.03261OpenAlexW4381734619MaRDI QIDQ6149909

Unnamed Author

Publication date: 5 March 2024

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

Full work available at URL: https://arxiv.org/abs/2207.03261

zbMATH Keywords

Grothendieck categoryhomotopy type theoryhomological algebra

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The simplicial model of univalent foundations (after Voevodsky)
• Elements of ∞-Category Theory
• Internal coproduct of abelian groups in an elementary topos
• Semantics of higher inductive types
• On truncated quasi-categories
• Higher Groups in Homotopy Type Theory
• Homotopy Type Theory: Univalent Foundations of Mathematics
• Towards Constructive Homological Algebra in Type Theory
• Higher Topos Theory (AM-170)
• Univalence for inverse diagrams and homotopy canonicity

This page was built for publication: Univalent categories of modules