Limits in generalized algebraic categories - contravariant case
Linear extensions and nilpotence of Maltsev theories.
Localization of -categories.
Localizations of Maltsev varieties.
Loop cohomology
Lower central series, augmentation quotients and homology of groups.
L'unité de la théorie des modèles et de l'algèbre homologique
-completeness is seldom monadic over graphs.
Maps of cotriples and a change of rings theorem
Metric enrichment, finite generation, and the path coreflection
We prove a number of results involving categories enriched over CMet, the category of complete metric spaces with possibly infinite distances. The category CPMet of path complete metric spaces is locally -presentable, closed monoidal, and coreflective in CMet. We also prove that the category CCMet of convex complete metric spaces is not closed monoidal and characterize the isometry--generated objects in CMet, CPMet and CCMet, answering questions by Di Liberti and Rosický. Other results include...
Minimal realizations for finite sets in categorial automata theory
Modality in open Institutions with Concrete Syntax
Model theoretic approach to concrete categories
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.
Monades involutives complémentées
Monadic epimorphisms and applications
Monads and cocompleteness of categories