Formalising Yoneda Ext in Univalent Foundations

From MaRDI portal

Publication:6427540

Jump to:navigation, search

arXiv2302.12678MaRDI QIDQ6427540

Unnamed Author

Publication date: 24 February 2023

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to category theory (18-04)

This page was built for publication: Formalising Yoneda Ext in Univalent Foundations

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6427540&oldid=36098646"