The category LAlg of L-algebras is shown to be complete and cocomplete, regular with a zero object and a projective generator, normal and subtractive, ideal determined, but not Barr-exact. Originating from algebraic logic, L-algebras arise in the theory of Garside groups, measure theory, functional analysis, and operator theory. It is shown that the category LAlg is far from protomodular, but it has natural semidirect products which have not been described in category-theoretic terms.
Keywords: L-algebra, regular category, Barr-exact, protomodular, semidirect product
2020 MSC: 08C05, 18D30, 06F05, 08A55, 18B10, 18C10
Theory and Applications of Categories, Vol. 39, 2023, No. 21, pp 598-624.
Published 2023-06-07.
TAC Home