ON EXTENSIONS OF LAX MONADS Dedicated to Aurelio Carboni on the occasion of his sixtieth birthday
نویسندگان
چکیده
In this paper we construct extensions of Set-monads – and, more generally, of lax Rel-monads – into lax monads of the bicategory Mat(V) of generalized V-matrices, whenever V is a well-behaved lattice equipped with a tensor product. We add some guiding examples.
منابع مشابه
GENERIC MORPHISMS, PARAMETRIC REPRESENTATIONS AND WEAKLY CARTESIAN MONADS Dedicated to Aurelio Carboni on the occasion of his sixtieth birthday
Two notions, generic morphisms and parametric representations, useful for the analysis of endofunctors arising in enumerative combinatorics, higher dimensional category theory, and logic, are defined and examined. Applications to the Batanin approach to higher category theory, Joyal species and operads are provided.
متن کاملSEMI - ABELIAN MONADIC CATEGORIES Dedicated to Aurelio Carboni on the occasion of his sixtieth birthday . MARINO GRAN AND
We characterize semi-abelian monadic categories and their localizations. These results are then used to obtain a characterization of pointed protomodular quasimonadic categories, and in particular of protomodular quasivarieties.
متن کاملCOMMUTATOR THEORY IN STRONGLY PROTOMODULAR CATEGORIES Dedicated to Aurelio Carboni on the occasion of his sixtieth birthday
We show that strongly protomodular categories (as the category Gp of groups for instance) provide an appropriate framework in which the commutator of two equivalence relations do coincide with the commutator of their associated normal subobjects, whereas it is not the case in any semi-abelian category.
متن کاملCOMPOSING PROPS Dedicated to Aurelio Carboni on the occasion of his sixtieth birthday
A PROP is a way of encoding structure borne by an object of a symmetric monoidal category. We describe a notion of distributive law for PROPs, based on Beck’s distributive laws for monads. A distributive law between PROPs allows them to be composed, and an algebra for the composite PROP consists of a single object with an algebra structure for each of the original PROPs, subject to compatibilit...
متن کاملON VON NEUMANN VARIETIES To Aurelio Carboni , on his sixtieth birthday
We generalize to an arbitrary variety the von Neumann axiom for a ring. We study its implications on the purity of monomorphisms and the flatness of algebras.
متن کامل