UniMath 中的泛代数
Universal Algebra in UniMath
AI总结：
本研究介绍在 UniMath 系统中实现泛代数的 ongoing 工作，旨在构建通用框架以在证明助手中形式化研究泛代数，指出单值数学的特性使其适合该研究方向。
摘要：
我们介绍了在 UniMath（单值数学）系统中实现泛代数的一项正在进行的工作。我们的目标是开发一个通用框架，用于在证明助手中形式化和研究泛代数。单值数学作为一种用于分离我们所关注理论的不变量（即模同构的一般代数结构）的形式系统，似乎为开展这项工作提供了合适的环境。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
