Universal Algebra in UniMath

07/09/2020
by   Gianluca Amato, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset