Jason Parker

Free algebras of topologically enriched multi-sorted equational theories

2023 · arXiv (Cornell University)

Classical multi-sorted equational theories and their free algebras have been fundamental in mathematics and computer science. In this paper, we present a generalization of multi-sorted equational theories from the classical ($Set$-enriched) context to the context …