Relativized universal algebra via partial Horn logic
arXiv:2403.19661v2 Announce Type: replace Abstract: Algebraic theories, sometimes called equational theories, are syntactic notions given by finitary operations and equations, such as monoids, groups, and...