Ext groups in homotopy type theory

MaRDI QIDQ6842179zbMATH OpenFDO

Authors J. Daniel Christensen

Publication date 19 March 2026

Published in Higher Structures (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://higher-structures.math.cas.cz/api/files/issues/Vol9Iss2/ChristensenFlaten

zbMATH Keywords

Exthomological algebrahomotopy type theoryYoneda Ext

Mathematics Subject Classification ID

Type theory (03B38) Internal categories and groupoids (18D40) Ext and Tor, generalizations, Künneth formula (category-theoretic aspects) (18G15) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60)

Cites work

• Abelian groups in a topos: injectives and injective effacements
• Categories and Sheaves
• Central H-spaces and banded types
• Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
• Erweiterung von Gruppen und ihren Isomorphismen
• Formalising Yoneda Ext in univalent foundations
• Higher Topos Theory (AM-170)
• Homotopic properties of categories of extensions
• scientific article; zbMATH DE number 3736022 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 595200 (Why is no real title available?)
• scientific article; zbMATH DE number 3216237 (Why is no real title available?)
• scientific article; zbMATH DE number 3220362 (Why is no real title available?)
• scientific article; zbMATH DE number 3261673 (Why is no real title available?)
• scientific article; zbMATH DE number 3092600 (Why is no real title available?)
• Locally injective abelian groups in a topos
• Nilpotent types and fracture squares in homotopy type theory
• Non-accessible localizations
• On notions of compactness, object classifiers, and weak Tarski universes
• Principal \(\infty \)-bundles: general theory
• Satellites and universal functors
• Semantics of higher inductive types
• Sur quelques points d'algèbre homologique
• The homotopy theory of type theories
• The Hurewicz theorem in homotopy type theory
• Univalent categories of modules

This page was built for publication: Ext groups in homotopy type theory

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