-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
Monads Generated by Monoids.
Monads of effective descent type and comonadicity.
Monomorphisms in the categories of connected algebraic systems with strong homomorphisms
More on injectivity in locally presentable categories.
More on orthogonality in locally presentable categories
Morita equivalence of algebraic theories
Multi-bimodels