Formalising Yoneda Ext in univalent foundations

DOI10.4230/LIPICS.ITP.2023.16MaRDI QIDQ6642995zbMATH OpenFDO

Authors

Publication date 26 November 2024

zbMATH Keywords

homological algebraCoqformalisationhomotopy type theoryYoneda Ext

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Formalising Yoneda Ext in univalent foundations

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