A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES
DOI10.1017/jsl.2018.47zbMath1410.18002arXiv1908.00534OpenAlexW2897099281WikidataQ129079151 ScholiaQ129079151MaRDI QIDQ4692073
Publication date: 26 October 2018
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1908.00534
locally presentable categorycategory theoryuniversal algebracategory equivalenceadjoint functormatrix powergeneralized varietiescontextual translation
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Equational classes, universal algebra in model theory (03C05) Categories of algebras (08C05) Abstract algebraic logic (03G27) Foundations, relations to logic and deductive systems (18A15)
Related Items
Cites Work
- How many variables does a quasivariety need?
- The class of Kleene algebras satisfying an interpolation property and Nelson algebras
- A lattice of normal modal logics
- Tools and techniques in modal logic
- Algebraic point lattices of quasivarieties
- Equivalence for varieties in general and for \(\mathcal {BOOL}\) in particular
- Equivalence of consequence operations
- The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
- Algebraizable logics
- Morita equivalence of algebraic theories
- Category Theory
- Algebra valued functors in general and tensor products in particular
- Modal Logics Between S 4 and S 5
- Lattices With Involution
- Some theorems about the sentential calculi of Lewis and Heyting
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item