The goal of this paper is to prove coherence results with respect to relational graphs for monoidal monads and comonads, i.e. monads and comonads in a monoidal category such that the endofunctor of the monad or comonad is a monoidal functor (this means that it preserves the monoidal structure up to a natural transformation that need not be an isomorphism). These results are proved first in the absence of symmetry in the monoidal structure, and then with this symmetry. The monoidal structure is also allowed to be given with finite products or finite coproducts. Monoidal comonads with finite products axiomatize a plausible notion of identity of deductions in a fragment of the modal logic S4.
We introduce and study functor-functor and monad-comonad interaction laws as mathematical objects to describe interaction of effectful computations with behaviors of effect-performing machines. Monad-comonad interaction laws are monoid objects of the monoidal category of functor-functor interaction laws. We show that, for suitable generalizations of the concepts of dual and Sweedler dual, the greatest functor resp. monad interacting with a given functor or comonad is its dual while the greatest comonad interacting with a given monad is its Sweedler dual. We relate monad-comonad interaction law…
This paper determines what structure is needed for internal homs in a monoidal category C to be liftable to the category C^G of Eilenberg-Moore coalgebras for a monoidal comonad G on C. We apply this to lift star-autonomy with the view to recasting the definition of quantum groupoid.
In this article, the author analyses distributive and mixed distributive laws and some of their equivalences through the use of 2-adjunctions of the type $\Adj$-$\Mnd$. As far as the distributive laws are concerned, the equivalence between this structures and monads objects in the 2-category $\Adj_{\R}(Cat)$ is analysed, where these monad objects will correspond to liftings to the category of algebras of Eilenberg-Moore. Second, the equivalence between these structures and a pair consisting of a Eilenberg-Moore lifting and a Kleisli extension is analysed too, according to E. Manes and P. Mulry…
Jean-Louis Loday has defined generalised bialgebras and proved structure theorems in this setting which can be seen as general forms of the Poincaré-Birkhoff-Witt and the Cartier-Milnor-Moore theorems. It was observed by the present authors that parts of the theory of generalised bialgebras are special cases of results on entwined monads and comonads and the corresponding mixed bimodules. In this article the Rigidity Theorem of Loday is extended to this more general categorical framework.
Alain Bruguieres, in his talk [1], announced his work [2] with Alexis Virelizier and the second author which dealt with lifting closed structure on a monoidal category to the category of Eilenberg-Moore algebras for an opmonoidal monad. Our purpose here is to generalize that work to the context internal to an autonomous monoidal bicategory. The result then applies to quantum categories and bialgebroids.
Computational effects may often be interpreted in the Kleisli category of a monad or in the coKleisli category of a comonad. The duality between monads and comonads corresponds, in general, to a symmetry between construction and observation, for instance between raising an exception and looking up a state. Thanks to the properties of adjunction one may go one step further: the coKleisli-on-Kleisli category of a monad provides a kind of observation with respect to a given construction, while dually the Kleisli-on-coKleisli category of a comonad provides a kind of construction with respect to a …
We study monoidal comonads on a naturally Frobenius map-monoidale $M$ in a monoidal bicategory $\mathcal M$. We regard them as bimonoids in the duoidal hom-category $\mathcal M(M,M)$, and generalize to that setting various conditions distinguishing classical Hopf algebras among bialgebras; in particular, we define a notion of antipode in that context. Assuming the existence of certain conservative functors and the splitting of idempotent 2-cells in $\mathcal M$, we show all these Hopf-like conditions to be equivalent. Our results imply in particular several equivalent characterizations of Hopf…
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) monoidal categories, and show some basic results on them.
A weak entwining structure in a 2-category K consists of a monad t and a comonad c, together with a 2-cell relating both structures in a way that generalizes a mixed distributive law.A weak entwining structure can be characterized as a compatible pair of a monad and a comonad, in 2-categories generalizing the 2-category of comonads and the 2-category of monads in K, respectively. This observation is used to define a 2-category Entw^w(K) of weak entwining structures in K. If the 2-category K admits Eilenberg-Moore constructions for both monads and comonads and idempotent 2-cells in K split, the…
We construct a `weak' version EM^w(K) of Lack & Street's 2-category of monads in a 2-category K, by replacing their compatibility constraint of 1-cells with the units of monads by an additional condition on the 2-cells. A relation between monads in EM^w(K) and composite pre-monads in K is discussed. If K admits Eilenberg-Moore constructions for monads, we define two symmetrical notions of `weak liftings' for monads in K. If moreover idempotent 2-cells in K split, we describe both kinds of a weak lifting via an appropriate pseudo-functor EM^w(K) --> K. Weak entwining structures and partial entw…
For functors $L:\A\to \B$ and $R:\B\to \A$ between any categories $\A$ and $\B$, a {\em pairing} is defined by maps, natural in $A\in \A$ and $B\in \B$, $$\xymatrix{\Mor_\B (L(A),B) \ar@<0.5ex>[r]^α & \Mor_\A (A,R(B))\ar@<0.5ex>[l]^β}.$$ $(L,R)$ is an {\em adjoint pair} provided $α$ (or $β$) is a bijection. In this case the composition $RL$ defines a monad on the category $\A$, $LR$ defines a comonad on the category $\B$, and there is a well-known correspondence between monads (or comonads) and adjoint pairs of functors. For various applications it was observed that the conditions for a unit o…
We study the action of monads on categories equipped with several monoidal structures. We identify the structure and conditions that guarantee that the higher monoidal structure is inherited by the category of algebras over the monad. Monoidal monads and comonoidal monads appear as the base cases in this hierarchy. Monads acting on duoidal categories constitute the next case. We cover the general case of $n$-monoidal categories and discuss several naturally occurring examples in which $n\leq 3$.
The definition of Azumaya algebras over commutative rings $R$ require the tensor product of modules over $R$ and the twist map for the tensor product of any two $R$-modules. Similar constructions are available in braided monoidal categories and Azumaya algebras were defined in these settings. Here we introduce Azumaya monads on any category $\A$ by considering a monad $\bF$ on $\A$ endowed with a distributive law $λ: FF\to FF$ satisfying the Yang-Baxter equation (BD-law). This allows to introduce an {\em opposite monad} $\bF^\la$ and a monad structure on $FF^\la$. For an {\em Azumaya monad} we…
It is well established that equational algebraic theories, and the monads they generate, can be used to encode computational effects. An important insight of Power and Shkaravska is that comodels of an algebraic theory T -- i.e., models in the opposite category Set^op -- provide a suitable environment for evaluating the computational effects encoded by T. As already noted by Power and Shkaravska, taking comodels yields a functor from accessible monads to accessible comonads on Set. In this paper, we show that this functor is part of an adjunction -- the "costructure-cosemantics adjunction" of …
As shown by S. Eilenberg and J.C. Moore (1965), for a monad $F$ with right adjoint comonad $G$ on any catgeory $\mathbb{A}$, the category of unital $F$-modules $\mathbb{A}_F$ is isomorphic to the category of counital $G$-comodules $\mathbb{A}^G$. The monad $F$ is Frobenius provided we have $F=G$ and then $\mathbb{A}_F\simeq \mathbb{A}^F$. Here we investigate which kind of equivalences can be obtained for non-unital monads (and non-counital comonads).
We give a 3-categorical, purely formal argument explaining why on the category of Kleisli algebras for a lax monoidal monad, and dually on the category of Eilenberg-Moore algebras for an oplax monoidal monad, we always have a natural monoidal structures. The key observation is that the 2-category of lax monoidal monads in any 2-category D with finite products is isomorphic to the 2-category of monoidal objects with oplax morphisms in the 2-category of monads with lax morphisms in D. As we explain at the end of the paper a similar phenomenon occurs in many other situations.
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 such monads equally carry a canonical monoidal structure which reduce to the monoidal monad case when the commutative graded monad in question is graded over the trivial monoidal category.
A weak mixed distributive law (also called weak entwining structure) in a 2-category consists of a monad and a comonad, together with a 2-cell relating them in a way which generalizes a mixed distributive law due to Beck. We show that a weak mixed distributive law can be described as a compatible pair of a monad and a comonad, in 2-categories extending, respectively, the 2-category of comonads and the 2-category of monads. Based on this observation, we define a 2-category whose 0-cells are weak mixed distributive laws. In a 2-category K which admits Eilenberg-Moore constructions both for monad…
Delta lenses are a kind of morphism between categories which are used to model bidirectional transformations between systems. Classical state-based lenses, also known as very well-behaved lenses, are both algebras for a monad and coalgebras for a comonad. Delta lenses generalise state-based lenses, and while delta lenses have been characterised as certain algebras for a semi-monad, it is natural to ask if they also arise as coalgebras. This short paper establishes that delta lenses are coalgebras for a comonad, through showing that the forgetful functor from the category of delta lenses over a…
Let $A$ be a ring and $\M_A$ the category of $A$-modules. It is well known in module theory that for any $A $-bimodule $B$, $B$ is an $A$-ring if and only if the functor $-\otimes_A B: \M_A\to \M_A$ is a monad (or triple). Similarly, an $A $-bimodule $\C$ is an $A$-coring provided the functor $-\otimes_A\C:\M_A\to \M_A$ is a comonad (or cotriple). The related categories of modules (or algebras) of $-\otimes_A B$ and comodules (or coalgebras) of $-\otimes_A\C$ are well studied in the literature. On the other hand, the right adjoint endofunctors $\Hom_A(B,-)$ and $\Hom_A(\C,-)$ are a comonad and…
We exhibit sufficient conditions for a monoidal monad T on a monoidal category C to induce a monoidal structure on the Eilenberg--Moore category C^T that represents bimorphisms. The category of actions in C^T is then shown to be monadic over the base category C.
The goal of this paper is to prove coherence results with respect to relational graphs for monoidal endofunctors, i.e. endofunctors of a monoidal category that preserve the monoidal structure up to a natural transformation that need not be an isomorphism. These results are proved first in the absence of symmetry in the monoidal structure, and then with this symmetry. In the later parts of the paper the coherence results are extended to monoidal endofunctors in monoidal categories that have diagonal or codiagonal natural transformations, or where the monoidal structure is given by finite produc…
We study dualities between Lie algebras and Lie coalgebras, and their respective (co)representations. To allow a study of dualities in an infinite-dimensional setting, we introduce the notions of Lie monads and Lie comonads, as special cases of YB-Lie algebras and YB-Lie coalgebras in additive monoidal categories. We show that (strong) dualities between Lie algebras and Lie coalgebras are closely related to (iso)morphisms between associated Lie monads and Lie comonads. In the case of a duality between two Hopf algebras -in the sense of Takeuchi- we recover a duality between a Lie algebra and a…
Generalized operads, also called generalized multicategories and $T$-monoids, are defined as monads within a Kleisli bicategory. With or without emphasizing their monoidal nature, generalized operads have been considered by numerous authors in different contexts, with examples including symmetric multicategories, topological spaces, globular operads and Lawvere theories. In this paper we study functoriality of the Kleisli construction, and correspondingly that of generalized operads. Motivated by this problem we develop a lax version of the formal theory of monads, and study its connection to …
Szlachányi showed that bialgebroids can be characterised using skew monoidal categories. The characterisation reduces the amount of data, structure, and properties required to define them. Lack and Street provide a bicategorical account of that same fact; they characterise quantum categories in terms of skew monoidal structures internal to a monoidal bicategory. A quantum category is an opmonoidal monad on an enveloping monoidale $R^\circ\otimes R$ in a monoidal bicategory. In a previous paper, we characterised opmonoidal arrows on enveloping monoidales as a simpler structure called oplax acti…
We define Hopf monads on an arbitrary monoidal category, extending the definition given previously for monoidal categories with duals. A Hopf monad is a bimonad (or opmonoidal monad) whose fusion operators are invertible. This definition can be formulated in terms of Hopf adjunctions, which are comonoidal adjunctions with an invertibility condition. On a monoidal category with internal Homs, a Hopf monad is a bimonad admitting a left and a right antipode. Hopf monads generalize Hopf algebras to the non-braided setting. They also generalize Hopf algebroids (which are linear Hopf monads on a cat…
We associate, in a functorial way, a monoidal bicategory $\mathsf{Span}| \mathcal V$ to any monoidal bicategory $\mathcal V$. Two examples of this construction are of particular interest: Hopf polyads (due to Bruguières) can be seen as Hopf monads in $\mathsf{Span}| \mathsf{Cat}$ while Hopf group monoids in a braided monoidal category $V$ (in the spirit of Turaev and Zunino), and Hopf categories over $V$ (by Batista, Caenepeel and Vercruysse) both turn out to be Hopf monads in $\mathsf{Span}| V$. Hopf group monoids and Hopf categories are Hopf monads on a distinguished type of monoidales fitti…
An object $P$ in a monoidal category $\mathcal{C}$ is called pivotal if its left dual and right dual objects are isomorphic. Given such an object and a choice of dual $Q$, we construct the category $\mathcal{C}(P,Q)$, of objects which intertwine with $P$ and $Q$ in a compatible manner. We show that this category lifts the monoidal structure of $\mathcal{C}$ and the closed structure of $\mathcal{C}$, when $\mathcal{C}$ is closed. If $\mathcal{C}$ has suitable colimits we show that $\mathcal{C}(P,Q)$ is monadic and thereby construct a family of Hopf monads on arbitrary closed monoidal categories…
If a monad $T$ is monoidal, then operations on a set $X$ can be lifted canonically to operations on $TX$. In this paper we study structural properties under which $T$ preserves equations between those operations. It has already been shown that any monoidal monad preserves linear equations; affine monads preserve drop equations (where some variable appears only on one side, such as $x\cdot y = y$) and relevant monads preserve dup equations (where some variable is duplicated, such as $x \cdot x = x$). We start the paper by showing a converse: if the monad at hand preserves a drop equation, then …
Certain aspects of Street's formal theory of monads in 2-categories are extended to multimonoidal monads in symmetric strict monoidal 2-categories. Namely, any symmetric strict monoidal 2-category $\mathcal M$ admits a symmetric strict monoidal 2-category of pseudomonoids, monoidal 1-cells and monoidal 2-cells in $\mathcal M$. Dually, there is a symmetric strict monoidal 2-category of pseudomonoids, opmonoidal 1-cells and opmonoidal 2-cells in $\mathcal M$. Extending a construction due to Aguiar and Mahajan for $\mathcal M=\mathsf{Cat}$, we may apply the first construction $p$-times and the se…
We prove a number of results involving categories enriched over \textsc{CMet}, the category of complete metric spaces with possibly infinite distances. The category \textsc{CPMet} of intrinsic complete metric spaces is locally $\aleph_1$-presentable, closed monoidal, and comonadic over \textsc{CMet}. We also prove that the category \textsc{CCMet} of convex complete metric spaces is not closed monoidal and characterize the isometry-$\aleph_0$-generated objects in \textsc{CMet}, \textsc{CPMet} and \textsc{CCMet}, answering questions by Di Liberti and Rosický. Other results include the automatic …
We explain the sense in which a warping on a monoidal category is the same as a pseudomonad on the corresponding one-object bicategory, and we describe extensions of this to the setting of skew monoidal categories: these are a generalization of monoidal categories in which the associativity and unit maps are not required to be invertible. Our analysis leads us to describe a normalization process for skew monoidal categories, which produces a universal skew monoidal category for which the right unit map is invertible.
We define a weak bimonad as a monad T on a monoidal category M with the property that the Eilenberg-Moore category M^T is monoidal and the forgetful functor from M^T to M is separable Frobenius. Whenever M is also Cauchy complete, a simple set of axioms is provided, that characterizes the monoidal structure of M^T as a weak lifting of the monoidal structure of M . The relation to bimonads, and the relation to weak bimonoids in a braided monoidal category are revealed. We also discuss antipodes, obtaining the notion of weak Hopf monad.
Davydov-Yetter cohomology classifies infinitesimal deformations of tensor categories and of tensor functors. Our first result is that Davydov-Yetter cohomology for finite tensor categories is equivalent to the cohomology of a comonad arising from the central Hopf monad. This has several applications: First, we obtain a short and conceptual proof of Ocneanu rigidity. Second, it allows to use standard methods from comonad cohomology theory to compute Davydov-Yetter cohomology for a family of non-semisimple finite-dimensional Hopf algebras generalizing Sweedler's four dimensional Hopf algebra.
We give a conceptual treatment of the notion of joints, marginals, and independence in the setting of categorical probability. This is achieved by endowing the usual probability monads (like the Giry monad) with a monoidal and an opmonoidal structure, mutually compatible (i.e. a bimonoidal structure). If the underlying monoidal category is cartesian monoidal, a bimonoidal structure is given uniquely by a commutative strength. However, if the underlying monoidal category is not cartesian monoidal, a strength is not enough to guarantee all the desired properties of joints and marginals. A bimono…
Given a Hopf algebra in a symmetric monoidal category with duals, the category of modules inherits the structure of a monoidal category with duals. If the notion of algebra is replaced with that of monad on a monoidal category with duals then Bruguieres and Virelizier showed when the category of modules inherits this structure of being monoidal with duals, and this gave rise to what they called a Hopf monad. In this paper it is shown that there are good diagrammatic descriptions of dinatural transformations which allows the three-dimensional, object-free nature of their constructions to become…
We continue the program of structural differential geometry that begins with the notion of a tangent category, an axiomatization of structural aspects of the tangent functor on the category of smooth manifolds. In classical geometry, having an affine structure on a manifold is equivalent to having a flat torsion-free connection on its tangent bundle. This equivalence allows us to define a category of affine objects associated to a tangent category and we show that the resulting category is also a tangent category, as are several related categories. As a consequence of some of these ideas we al…
Lada introduced strong homotopy algebras to describe the structures on a deformation retract of an algebra in topological spaces. However, there is no satisfactory general definition of a morphism of strong homotopy (s.h.) algebras. Given a monad T on a simplicial category C, we instead show how s.h. T-algebras over C naturally form a Segal space. Given a distributive monad-comonad pair (T, S), the same is true for s.h. (T, S)-bialgebras over C; in particular this yields the homotopy theory of s.h. sheaves of s.h. rings. There are similar statements for quasi-monads and quasi-comonads. We also…
Let $U$ be a strong monoidal functor between monoidal categories. If it has both a left adjoint $L$ and a right adjoint $R$, we show that the pair $(R,L)$ is a linearly distributive functor and $(U,U)\dashv (R,L)$ is a linearly distributive adjunction, if and only if $L\dashv U$ is a Hopf adjunction and $U\dashv R$ is a coHopf adjunction. We give sufficient conditions for a strong monoidal $U$ which is part of a (left) Hopf adjunction $L\dashv U$, to have as right adjoint a twisted version of the left adjoint $L$. In particular, the resulting adjunction will be (left) coHopf. One step further,…
Given a monad and a comonad, one obtains a distributive law between them from lifts of one through an adjunction for the other. In particular, this yields for any bialgebroid the Yetter-Drinfel'd distributive law between the comonad given by a module coalgebra and the monad given by a comodule algebra. It is this self-dual setting that reproduces the cyclic homology of associative and of Hopf algebras in the monadic framework of Boehm and Stefan. In fact, their approach generates two duplicial objects and morphisms between them which are mutual inverses if and only if the duplicial objects are…
We introduce and study Hopf monads on autonomous categories (i.e., monoidal categories with duals). Hopf monads generalize Hopf algebras to a non-braided (and non-linear) setting. Indeed, any monoidal adjunction between autonomous categories gives rise to a Hopf monad. We extend many fundamental results of the theory of Hopf algebras (such as the decomposition of Hopf modules, the existence of integrals, Maschke's criterium of semisimplicity, etc...) to Hopf monads. We also introduce and study quasitriangular and ribbon Hopf monads (again defined in a non-braided setting).
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 were originally defined as monoidal comonads on endomorphism objects in a particular monoidal bicategory M. Then they were shown also to be skew monoidal structures (with an appropriate unit) on objects in M. Now we see in what kind of M quantum categories are merely monads.
Using the symmetric monoidal closed category structure of the category of measurable spaces, in conjunction with the Giry monad which we show is a strong monad, we analyze Bayesian inference maps and their construction in relation to the tensor product probability. This perspective permits the inference maps to be seen as a pullback construction.
Given a monoidal category C, an ordinary category M, and a monad T in M, the lifts in a strict sense of a fixed action of C on M to an action of C on the Eilenberg-Moore category of T-modules in M are in a bijective correspondence with certain families of natural transformations, indexed by the objects in the monoidal category C. These families are analogues of distributive laws between monads.
Monoidal functors U:C --> M with left adjoints determine, in a universal way, monoids T in the category of oplax monoidal endofunctors on M. Such monads will be called bimonads. Treating bimonads as abstract "quantum groupoids" we derive Tannaka duality between left adjointable monoidal functors and bimonads. Bialgebroids, i.e., Takeuchi's x_R-bialgebras, appear as the special case when T has also a right adjoint. Street's 2-category of monads then leads to a natural definition of the 2-category of bialgebroids.
We introduce the notion of a lax monoidal fibration and we show how it can be conveniently used to deal with various algebraic structures that play an important role in some definitions of the opetopic sets (Baez-Dolan, Hermida-Makkai-Power). We present the 'standard' such structures, the exponential fibrations of basic fibrations and three areas of applications. First area is related to the T-categories of A. Burroni. The monoids in the Burroni lax monoidal fibrations form the fibration of T-categories. The construction of the relative Burroni fibrations and free T-categories in this context,…
