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 compatibility conditions encoded by the distributive law. An example is the PROP for bialgebras, which is a composite of the PROP for coalgebras and that for algebras.
منابع مشابه
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.
متن کامل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.
متن کامل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.
متن کامل