Relativized universal algebra via partial Horn logic. arXiv:2403.19661
Preprint, arXiv:2403.19661 [math.CT] (2024).
Summary: Algebraic theories, sometimes called equational theories, are syntactic notions given by finitary operations and equations, such as monoids, groups, and rings. There is a well-known category-theoretic treatment of them that algebraic theories are equivalent to finitary monads on \(\mathbf{Set}\). In this paper, using partial Horn theories, we syntactically generalize such an equivalence to arbitrary locally presentable categories from \(\mathbf{Set}\); the corresponding algebraic concepts relative to locally presentable categories are called relative algebraic theories. Finally, we give a framework for universal algebra relative to locally presentable categories by generalizing Birkhoff’s variety theorem.
MSC:
18C10 | Theories (e.g., algebraic theories), structure, and semantics |
18C15 | Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads |
18C35 | Accessible and locally presentable categories |
18E45 | Definable subcategories and connections with model theory |
arXiv data are taken from the
arXiv OAI-PMH API.
If you found a mistake, please
report it directly to arXiv.