A generalized global differential calculus : application to invariance under a Lie group. I
Adjungierte Dreiecke, Colimites und Kan-Erweiterungen.
Algebraic theories and varieties of functor algebras
Algèbres graphiques (sur un concept de dimension dans les langages formels)
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...
Distributive laws and Koszulness
Distributive law is a way to compose two algebraic structures, say and , into a more complex algebraic structure . The aim of this paper is to understand distributive laws in terms of operads. The central result says that if the operads corresponding respectively to and are Koszul, then the operad corresponding to is Koszul as well. An application to the cohomology of configuration spaces is given.
Duality for some free modes
The paper establishes a duality between a category of free subreducts of affine spaces and a corresponding category of generalized hypercubes with constants. This duality yields many others, in particular a duality between the category of (finitely generated) free barycentric algebras (simplices of real affine spaces) and a corresponding category of hypercubes with constants.
Equational categories
Essential localizations and infinitary exact completion.
Essentially equational categories
Étude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes. Partie III
Free algebras in varieties
We define varieties of algebras for an arbitrary endofunctor on a cocomplete category using pairs of natural transformations. This approach is proved to be equivalent to one of equational classes defined by equation arrows. Free algebras in the varieties are investigated and their existence is proved under the assumptions of accessibility.
How to make many-sorted algebras one-sorted
HSP subcategories of Eilenberg-Moore algebras.
Hu's Primal Algebra Theorem revisited
It is shown how Lawvere's one-to-one translation between Birkhoff's description of varieties and the categorical one (see [6]) turns Hu's theorem on varieties generated by a primal algebra (see [4], [5]) into a simple reformulation of the classical representation theorem of finite Boolean algebras as powerset algebras.
Implicit operations on the categories of universal algebras.