Bewaard in:
| Hoofdauteurs: | , , , |
|---|---|
| Formaat: | Preprint |
| Gepubliceerd in: |
2020
|
| Onderwerpen: | |
| Online toegang: | https://arxiv.org/abs/2007.04840 |
| Tags: |
Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
|
Inhoudsopgave:
- 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.