How algebraic is algebra?
The inclusion functor of the 2-category \({\mathcal V}{\mathcal A}{\mathcal R}\) of all finitary varieties (with finitary right adjoint functors preserving regular epimorphisms as arrows, and with natural transformations as 2-cells) into the (larger) 2-category \({\mathcal C}{\mathcal A}{\mathcal T}\) of all categories fails to create split coequalizers and therefore fails to be (pseudo)monadic. Hence, the problem at hand is to determine the (reasonably defined) equational hull of \({\mathcal V}{\mathcal A}{\mathcal R}\) in \({\mathcal C}{\mathcal A}{\mathcal T}\).NEWLINENEWLINENEWLINEThe authors offer a solution under the restriction to ranked operations: it is the 2-category \({\mathcal A}{\mathcal L}{\mathcal G}\) of algebraically exact categories, i.e., of complete categories with sifted colimits which distribute over limits, with functors preserving limits and sifted colimits as arrows, and with all natural transformations. \({\mathcal A}{\mathcal L}{\mathcal G}\) is bi-equivalent to the 2-category of algebras of the composite pseudomonad \(Sind\circ Lim\), where \textit{Lim} is the free-completion 2-monad under limits and \textit{Sind} that one under sifted colimits; the pseudomonad exists since \textit{Sind} (Beck-)distributes over \textit{Lim}. The authors also mention a number of challenging open problems.
- Toward a characterization of algebraic exactness.
- Beck's theorem for pseudo-monads
- A classification of accessible categories
- A characterisation of algebraic exactness
- Which are the simplest algebraic varieties?
- Completely and totally distributive categories. I.
- On sifted colimits in the presence of pullbacks
- scientific article; zbMATH DE number 3893387 (Why is no real title available?)
- Borel functors, interpretations, and strong conceptual completeness for \(\mathcal{L}_{\omega _1\omega }\)
- scientific article; zbMATH DE number 7662146 (Why is no real title available?)
- On algebraically exact categories and essential localizations of varieties
- Algebra and local presentability: how algebraic are they? (A survey)
- Coinverters and categories of fractions for categories with structure
This page was built for publication: How algebraic is algebra?
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2710150)
