Catégories multiéquationnelles
Coequalizers in the generalized algebraic categories
Colimits of representable algebra-valued functors.
Concerning binding categories
Convexity theories 0 fin. Foundations.
In this paper we study big convexity theories, that is convexity theories that are not necessarily bounded. As in the bounded case (see [4]) such a convexity theory Γ gives rise to the category ΓC of (left) Γ-convex modules. This is an equationally presentable category, and we prove that it is indeed an algebraic category over Set. We also introduce the category ΓAlg of Γ-convex algebras and show that the category Frm of frames is isomorphic to the category of associative, commutative, idempotent...