Autor:	Amato, Gianluca, Maggesi, Marco, Parton, Maurizio, Brogi, Cosimo Perini
Rok vydání:	2020
Předmět:	Computer Science - Logic in Computer Science F.4.0
Druh dokumentu:	Working Paper
DOI:	10.1017/S0960129524000367
Popis:	We present an ongoing effort to implement Universal Algebra in the UniMath system. Our aim is to develop a general framework for formalizing and studying Universal Algebra in a proof assistant. By constituting a formal system for isolating the invariants of the theory we are interested in -- that is, general algebraic structures modulo isomorphism -- Univalent Mathematics seems to provide a suitable environment to carry on our endeavour. Comment: Accepted at the HoTT/UF 2020 workshop
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2007.04840 Zobrazit plný text záznamu View this record from Arxiv