English
Related papers

Related papers: Clones from comonoids

200 papers

Braided deformations of (symmetric) monoidal categories are related to Vassiliev theory by a direct generalization of well-known results relating "quantum" knot invariants to Vassiliev invariants. The deformation theory of braidings is…

q-alg · Mathematics 2007-05-23 David N. Yetter

We give a description of unital operads in a symmetric monoidal category as monoids in a monoidal category of unital $\Lambda$-sequences. This is a new variant of Kelly's old description of operads as monoids in the monoidal category of…

Algebraic Topology · Mathematics 2024-11-26 J. P. May , Ruoqi Zhang , Foling Zou

We describe (braided-)commutative algebras with non-degenerate multiplicative form in certain braided monoidal categories, corresponding to abelian metric Lie algebras (so-called Drinfeld categories). We also describe local modules over…

Category Theory · Mathematics 2010-05-26 Alexei Davydov , Vyacheslav Futorny

We prove that the homotopy theory of parsummable categories (as defined by Schwede) with respect to the underlying equivalences of categories is equivalent to the usual homotopy theory of symmetric monoidal categories. In particular, this…

Category Theory · Mathematics 2021-05-13 Tobias Lenz

In many situations one encounters an entity that resembles a monoid. It consists of a carrier and two operations that resemble a unit and a multiplication, subject to three equations that resemble associativity and left and right unital…

Category Theory · Mathematics 2025-12-05 Paul Blain Levy , Morgan Rogers

The classical Eckmann-Hilton argument shows that two monoid structures on a set, such that one is a homomorphism for the other, coincide and, moreover, the resulting monoid is commutative. This argument immediately gives a proof of the…

Category Theory · Mathematics 2009-07-03 M. A. Batanin

The central object studied in this paper is a multiplier bimonoid in a braided monoidal category C. Adapting the philosophy of Janssen and Vercruysse, and making some mild assumptions on the category C, we consider a category M whose…

Category Theory · Mathematics 2019-07-08 Gabriella Böhm , Stephen Lack

We provide conditions on a monoidal model category $\mathcal{M}$ so that the category of commutative monoids in $\mathcal{M}$ inherits a model structure from $\mathcal{M}$ in which a map is a weak equivalence or fibration if and only if it…

Algebraic Topology · Mathematics 2021-09-14 David White

We produce braided commutative algebras in braided monoidal categories by generalizing Davydov's full center construction of commutative algebras in centers of monoidal categories. Namely, we build braided commutative algebras in relative…

Quantum Algebra · Mathematics 2023-05-04 Robert Laugwitz , Chelsea Walton

Let $\lL(A)$ denote the coendomorphism left $R$-bialgebroid associated to a left finitely generated and projective extension of rings $R \to A$ with identities. We show that the category of left comodules over an epimorphic image of…

Rings and Algebras · Mathematics 2011-05-05 A. Ardizzoni , L. El Kaoutit , C. Menini

A general result relating skew monoidal structures and monads is proved. This is applied to quantum categories and bialgebroids. Ordinary categories are monads in the bicategory whose morphisms are spans between sets. Quantum categories…

Category Theory · Mathematics 2014-11-10 Stephen Lack , Ross Street

A differential category is an additive symmetric monoidal category, that is, a symmetric monoidal category enriched over commutative monoids, with an algebra modality, axiomatizing smooth functions, and a deriving transformation on this…

Category Theory · Mathematics 2025-10-08 Jean-Baptiste Vienney

We give a short topological proof of coherence for categorified non-symmetric operads by using the fact that the diagrams involved form the 1-skeleton of simply connected CW complexes. We also obtain a "one-step" topological proof of Mac…

Algebraic Topology · Mathematics 2024-11-01 Pierre-Louis Curien , Guillaume Laplante-Anfossi

We introduce the notion of a braiding on a skew monoidal category, whose curious feature is that the defining isomorphisms involve three objects rather than two. These braidings are shown to arise from, and classify, cobraidings (also known…

Category Theory · Mathematics 2020-01-29 John Bourke , Stephen Lack

Indexed symmetric monoidal categories are an important refinement of bicategories -- this structure underlies several familiar bicategories, including the homotopy bicategory of parametrized spectra, and its equivariant and fiberwise…

Category Theory · Mathematics 2023-06-21 Cary Malkiewich , Kate Ponto

The monoidal version of classical Morita theory is a theory of bialgebroids. To make this explicit we construct a bicategory the objects of which are the bialgebroids and in which equivalence of objects means that the corresponding module…

Quantum Algebra · Mathematics 2007-05-23 K. Szlachanyi

A topological monoid is isomorphic to an endomorphism monoid of a countable structure if and only if it is separable and has a compatible complete ultrametric such that composition from the left is non-expansive. We also give a topological…

Logic · Mathematics 2018-10-16 Manuel Bodirsky , Friedrich Martin Schneider

In this note we study symmetric monoidal functors from a symmetric monoidal 1-category to a cartesian symmetric monoidal $\infty$-category, which are in addition hypersheaves for a certain topology. We prove a symmetric monoidal version of…

Category Theory · Mathematics 2024-12-06 Josefien Kuijper

It is well-known that the category of Kleisli algebras for a monoidal monad carries a canonical monoidal structure. We define the notion of a commutative graded monad and present a strictly two-categorical proof that Kleisli algebras for…

Category Theory · Mathematics 2022-04-05 Rowan Poklewski-Koziell

The notion of linear exponential comonads on symmetric monoidal categories has been used for modelling the exponential modality of linear logic. In this paper we introduce linear exponential comonads on general (possibly non-symmetric)…

Logic in Computer Science · Computer Science 2017-01-25 Masahito Hasegawa