Leçons de théorie des esquisses
Leçons de théorie des esquisses
Limits in generalized algebraic categories - contravariant case
Linear extensions and nilpotence of Maltsev theories.
L'unité de la théorie des modèles et de l'algèbre homologique
Model theoretic approach to topological functors
Models of sketches
Model-theoretic characterisations of convenience properties in topological categories
Monad compositions. I: General constructions and recursive distributive laws.
Monomorphisms in the categories of connected algebraic systems with strong homomorphisms
Morita equivalence of algebraic theories
Multilinearity of sketches.
Multiple functors. II. The monoidal closed category of multiple categories
Multiple functors. III. The cartesian closed category
Multiple functors. IV. Monoidal closed structures on
-permutable locally finitely presentable categories.
Notes on effective descent and projectivity in quasivarieties of universal algebras.
On clones of relations
On coalgebras and type transformations
We show that for an arbitrary Set-endofunctor T the generalized membership function given by a sub-cartesian transformation μ from T to the filter functor 𝔽 can be alternatively defined by the collection of subcoalgebras of constant T-coalgebras. Sub-natural transformations ε between any two functors S and T are shown to be sub-cartesian if and only if they respect μ. The class of T-coalgebras whose structure map factors through ε is shown to be a covariety if ε is a natural and sub-cartesian mono-transformation....
On generic separable objects.