Categorical abstract data type (CADT)
Categorical, functorial and algebraic aspects of the type-free lambda calculus
Catégories multiéquationnelles
Categories of models of languages
Categories of sketched structures
Catégories qualifiables et catégories esquissables
Characterization of protomodular varieties of universal algebras.
Classification of concrete geometrical categories.
Condition syntaxique de triplabilité d'un foncteur algébrique esquissé
Conditions syntaxiques de plongement. I. Prolongements de foncteurs et extensions de Kan
Conditions syntaxiques de plongement. II. Prolongements de faisceaux et faisceaux associés
Conditions syntaxiques d'existence de co-adjoints aux foncteurs algébriques
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...
Critères de rigidification des morphismes souples entre structures internes
Cubical sets and their site.