Here we describe three straightforward examples of what was called a graphic Fourier transformation in [4]. At least two of these examples may be viewed simply as monoidal comonads on suitable monoidal closed functor categories, but the third example, which involves "centres" of monoidal closed functor categories, is generally not comonadic. For the first two examples (i.e., association schemes and RCFT's), a more elaborate "probicategory" set-up was envisaged in an earlier version of this note, but many readers missed the main point so it is simplified (hopefully) below.
The analogy between Yetter's deformation theory form (lax) monoidal functors and Gerstenahaber's deformation theory for associative algebras is solidified by shown that under reasonable conditions the category of functors with an action of a lax monoidal functor is abelian, that an analogue of the Hochschild cohomology of an algebra with coefficients in a bimodule exists for monoidal functors, and is given by right derived functors. The deformation cohmology of a monoidal natural transformation is shown to be a special case.
This article represents a preliminary attempt to link Kan extensions, and some of their further developments, to Fourier theory and quantum algebra through *-autonomous monoidal categories and related structures.
In this work, using the functoriality of Drinfeld center of fusion categories, we generalize an earlier result on the functoriality of full center of simple separable algebras in a fixed fusion category to all fusion categories. This generalization produces a new center functor, which involves both Drinfeld center and full center and will be called the pointed Drinfeld center functor. We prove that this pointed Drinfeld center functor is a symmetric monoidal equivalence. It turns out that this functor provides a precise and rather complete mathematical formulation of the boundary-bulk relation…
What are the fiber functors on small additive monoidal categories C which are not abelian? We give an answer which leads to a new Tannaka duality theorem for bialgebroids generalizing earlier results by Phung Ho Hai. The construction reveals a sheaf theoretic interpretation in so far as the reconstructed bialgebroid H has comodule category equivalent to the category of T-sheaves w.r.t. a monoidal Grothendieck topology on C. We also prove an existence theorem for fiber functors on small additive monoidal categories with bounded fusion and weak kernels. For certain autonomous categories a genera…
Let $U:\mathcal{C}\rightarrow\mathcal{D}$ be a strong monoidal functor between abelian monoidal categories admitting a right adjoint $R$, such that $R$ is exact, faithful and the adjunction $U\dashv R$ is coHopf. Building on the work of Balan, we show that $R$ is separable (resp., special) Frobenius monoidal if and only if $R(\mathbb{1}_{\mathcal{D}})$ is a separable (resp., special) Frobenius algebra in $\mathcal{C}$. If further, $\mathcal{C},\mathcal{D}$ are pivotal (resp., ribbon) categories and $U$ is a pivotal (resp., braided pivotal) functor, then $R$ is a pivotal (resp., ribbon) functor…
Separable Frobenius monoidal functors were defined and studied under that name by Szlachanyi and by Day and Pastro, and in a more general context by Cockett and Seely. Our purpose here is to develop their theory in a very precise sense. We determine what kinds of equations in monoidal categories they preserve. For example we show they preserve lax (meaning not necessarily invertible) Yang-Baxter operators, weak Yang-Baxter operators in the sense of Alonso Alvarez et al., and (in the braided case) weak bimonoids in the sense of Pastro and Street. In fact, we characterize which monoidal expressi…
We introduce the notion of a monoidal category enriched in a braided monoidal category $\mathcal V$. We set up the basic theory, and prove a classification result in terms of braided oplax monoidal functors to the Drinfeld center of some monoidal category $\mathcal T$. Even the basic theory is interesting; it shares many characteristics with the theory of monoidal categories enriched in a symmetric monoidal category, but lacks some features. Of particular note, there is no cartesian product of braided-enriched categories, and the natural transformations do not form a 2-category, but rather sat…
We show that the (co)endomorphism algebra of a sufficiently separable "fibre" functor into Vect_k, for k a field of characteristic 0, has the structure of what we call a "unital" von Neumann core in Vect_k. For Vect_k, this particular notion of algebra is weaker than that of a Hopf algebra, although the corresponding concept in Set is again that of a group.
Frobenius monoidal functors preserve duals. We show that conversely, (co)monoidal functors between autonomous categories which preserve duals are Frobenius monoidal. We apply this result to linearly distributive functors between autonomous categories.
It is well known that strong monoidal functors preserve duals. In this short note we show that a slightly weaker version of functor, which we call "Frobenius monoidal", is sufficient.
We show that each rigid monoidal category A over a field defines a family of universal tensor categories, which together classify all faithful monoidal functors from A to tensor categories. Each of the universal tensor categories classifies monoidal functors of a given 'homological kernel' and can be realised as a sheaf category, not necessarily on A. This yields a theory of 'local abelian envelope' which completes the notion of monoidal abelian envelopes.
We present a method of constructing monoidal, braided monoidal, and symmetric monoidal bicategories from corresponding types of monoidal double categories that satisfy a lifting condition. Many important monoidal bicategories arise naturally in this way, and applying our general method is much easier than explicitly verifying the coherence laws of a monoidal bicategory for each example. Abstracting from earlier work in this direction, we express the construction as a functor between locally cubical bicategories that preserves monoid objects; this ensures that it also preserves monoidal functor…
This paper is about skew monoidal tensored V-categories (= skew monoidal hommed V-actegories) and their categories of modules. A module over <M,*,R> is an algebra for the monad T = R * _ on M. We study in detail the skew monoidal structure of M^T and construct a skew monoidal forgetful functor from M^T to the category of E-objects in M where E=M(R,R) is the endomorphism monoid of the unit object R. Then we give conditions for the forgetful functor to be strong monoidal and for the category M^T of modules to be monoidal. In formulating these conditions a notion of `self-cocomplete' subcategorie…
Let $\mathcal{B}$ be a subcategory of a given category $\mathcal{D}$. Let $\mathcal{B}$ has monoidal structure. In this article, we discuss when can one extend the monoidal structure of $\mathcal{B}$ to $\mathcal{D}$ such that $\mathcal{B}$ becomes a sub monoidal category of monoidal category $\mathcal{D}$. Examples are discussed, and in particular, in an example of loop space, we elaborated all results discussed in this article.
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.
In this paper, we state and prove precise theorems on the classification of the category of (braided) categorical groups and their (braided) monoidal functors, and some applications obtained from the basic studies on monoidal functors between categorical groups.
Inspired by recent work of Peter O'Sullivan (arXiv:2012.15703), we give a condition under which a faithful monoidal functor between abelian $\otimes$-categories is exact.
We construct an equivalence between the 2-categories VMonCat of rigid V-monoidal categories for a braided monoidal category V and VModTens of oplax braided functors from V into the Drinfeld centers of ordinary rigid monoidal categories. The 1-cells in each are the respective lax monoidal functors, and the 2-cells are the respective monoidal natural transformations. Our proof also gives an equivalence in the case that we consider only strong monoidal 1-cells on both sides. The 2-categories VMonCat and VModTens have G-graded analogues. We also get an equivalence of 2-categories between G-extensi…
In this mainly expository note, we state a criterion for when a left Kan extension of a lax monoidal functor along a strong monoidal functor can itself be equipped with a lax monoidal structure, in a way that results in a left Kan extension in MonCat. This belongs to the general theory of algebraic Kan extensions, as developed by Melliès-Tabareau, Koudenburg and Weber, and is very close to an instance of a theorem of Koudenburg. We find this special case particularly important due to its connections with the theory of graded monads.
Bondarko's (strong) weight complex functor is a triangulated functor from Voevodsky's triangulated category of motives to the homotopy category of chain complexes of classical Chow motives. Its construction is valid for any dg enhanced triangulated category equipped with a weight structure. In this paper we consider weight complex functors in the setting of stable symmetric monoidal $\infty$-categories. We prove that the weight complex functor is symmetric monoidal under a natural compatibility assumption. To prove this result, we develop additive and stable symmetric monoidal variants of the …
We introduce a variant on the graphical calculus of Cockett and Seely for monoidal functors and illustrate it with a discussion of Tannaka reconstruction, some of which is known and some of which is new. The new portion is: given a separable Frobenius functor F: A --> B from a monoidal category A to a suitably complete or cocomplete braided autonomous category B, the usual formula for Tannaka reconstruction gives a weak bialgebra in B; if, moreover, A is autonomous, this weak bialgebra is in fact a weak Hopf algebra.
Monoidal categories enriched in a braided monoidal category $\mathcal{V}$ are classified by braided oplax monoidal functors from $\mathcal{V}$ to the Drinfeld centers of ordinary monoidal categories. In this article, we prove that this classifying functor is strongly monoidal if and only if the original $\mathcal{V}$-monoidal category is tensored over $\mathcal{V}$. We then define a completion operation which produces a tensored $\mathcal{V}$-monoidal category $\overline{\mathcal{C}}$ from an arbitrary $\mathcal{V}$-monoidal category $\mathcal{C}$, and we determine many equivalent conditions w…
Tannaka Duality describes the relationship between algebraic objects in a given category and their representations; an important case is that of Hopf algebras and their categories of representations; these have strong monoidal forgetful "fibre functors" to the category of vector spaces. We simultaneously generalize the theory of Tannaka duality in two ways: first, we replace Hopf algebras with weak Hopf algebras and strong monoidal functors with separable Frobenius monoidal functors; second, we replace the category of vector spaces with an arbitrary braided monoidal category. To accomplish thi…
As shown in a previous paper by the same authors, the theory of Galois functors provides a categorical framework for the characterisation of bimonads on any category as Hopf monads and also for the characterisation of opmonoidal monads on monoidal categories as right Hopf monads in the sense of Bruguieres and Virelizier. Hereby the central part is to describe conditions under which a comparison functor between the base category and the category of Hopf modules becomes an equivalence (Fundamental Theorem). For monoidal categories, Aguiar and Chase extended the setting by replacing the base cate…
We apply the notion of relative adjoint functor to generalise closed monoidal categories. We define representations in such categories and give their relation with left actions of monoids. The translation of these representations under lax monoidal functors is investigated. We introduce tensor product of representations of bimonoids as a functorial binary operation and show how symmetric lax monoidal functors act on this product. Finally we apply the general theory to classical and quantum representations.
The category of double categories and double functors is equipped with a symmetric closed monoidal structure. For any double category $\mathbb A$, the corresponding internal hom functor $|[ \mathbb A,-]|$ sends a double category $\mathbb B$ to the double category whose 0-cells are the double functors $\mathbb A \to \mathbb B$, whose horizontal and vertical 1-cells are the horizontal and vertical pseudotransformations, respectively, and whose 2-cells are the modifications. Some well-known functors of practical significance are checked to be compatible with this monoidal structure.
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,…
Multiplier bimonoids (or bialgebras) in arbitrary braided monoidal categories are defined. They are shown to possess monoidal categories of comodules and modules. These facts are explained by the structures carried by their induced functors.
We lift the standard equivalence between fibrations and indexed categories to an equivalence between monoidal fibrations and monoidal indexed categories, namely weak monoidal pseudofunctors to the 2-category of categories. In doing so, we investigate the relation between this `global' monoidal structure where the total category is monoidal and the fibration strictly preserves the structure, and a `fibrewise' one where the fibres are monoidal and the reindexing functors strongly preserve the structure, first hinted by Shulman. In particular, when the domain is cocartesian monoidal, lax monoidal…
We define a notion of category enriched over an oplax monoidal category $V$, extending the usual definition of category enriched over a monoidal category. Even though oplax monoidal structures involve infinitely many functors $V^n\to V$, defining categories enriched over $V$ only requires the lower arity maps $(n \leq 3)$, similarly to the monoidal case. The focal point of the enrichment theory shifts, in the oplax case, from the notion of $V$-category (given by collections of objects and hom-objects together with composition and unit maps) to the one of categories enriched over $V$ (genuine c…
It has long been known that every weak monoidal category A is equivalent via monoidal functors and monoidal natural transformations to a strict monoidal category st(A). We generalise the definition of weak monoidal category to give a definition of weak P-category for any strongly regular (operadic) theory P, and show that every weak P-category is equivalent via P-functors and P-transformations to a strict P-category. This strictification functor is then shown to have an interesting universal property.
Given a symmetric monoidal stable $\infty$-category $\mathcal{C}$ and a left adjoint symmetric monoidal fiber functor to $\operatorname{Mod}_A^{\otimes}$ for some $\mathbb{E}_{\infty}$-ring $A$, one can construct a derived group scheme $G$ of monoidal automorphisms of this functor. The left adjoint fiber functor also induces a monad on $\mathcal{C}$. Under some finiteness hypothesis on the fiber functor, we show there is a comparison functor from the category of representations of $G$ to the descent category of the induced monad on $\mathcal{C}$.
We prove the theorem stated in the title. More precisely, we show the stronger statement that every symmetric monoidal left adjoint functor between presentably symmetric monoidal infinity-categories is represented by a strong symmetric monoidal left Quillen functor between simplicial, combinatorial and left proper symmetric monoidal model categories.
We study the basic monoidal properties of the category of Hopf modules for a coquasi Hopf algebra. In particular we discuss the so called fundamental theorem that establishes a monoidal equivalence between the category of comodules and the category of Hopf modules. We present a categorical proof of Radford's $S^4$ formula for the case of a finite dimensional coquasi Hopf algebra, by establishing a monoidal isomorphism between certain double dual functors.
We give another proof of the fact that there is a dual equivalence between the $\infty$-category of monoidal $\infty$-categories with left adjoint oplax monoidal functors and that with right adjoint lax monoidal functors by constructing a perfect pairing between them.
For a monoidal $\infty$-category $\mathcal{M}$ with colimits, we study colimits of $\mathcal{M}$-functors $\mathcal{A}\to\mathcal{B}$ where $\mathcal{B}$ is left-tensored over $\mathcal{M}$ and $\mathcal{A}$ is an $\mathcal{M}$-enriched category. We prove that the enriched Yoneda embedding $Y:\mathcal{A}\to P_{\mathcal{M}}(\mathcal{A})$ yields a universal $\mathcal{M}$-functor and, in the case when $\mathcal{A}$ has a certain monoidal structure, the category of enriched presheaves $P_{\mathcal{M}}(\mathcal{A})$ inherits the same monoidal structure.
In this paper we introduce the notion of a categorical Mackey functor. This categorical notion allows us to obtain new Mackey functors by passing to Quillen's $K$-theory of the corresponding abelian categories. In the case of an action by monoidal autoequivalences on a monoidal category the Mackey functor obtained at the level of Grothendieck rings has in fact a Green functor structure.
Let $\mathcal C$ be a category with finite colimits, writing its coproduct $+$, and let $(\mathcal D, \otimes)$ be a braided monoidal category. We describe a method of producing a symmetric monoidal category from a lax braided monoidal functor $F: (\mathcal C,+) \to (\mathcal D, \otimes)$, and of producing a strong monoidal functor between such categories from a monoidal natural transformation between such functors. The objects of these categories, our so-called `decorated cospan categories', are simply the objects of $\mathcal C$, while the morphisms are pairs comprising a cospan $X \rightarr…
We prove that for a topological operad $P$ the operad of oriented cubical chains, $C^{ord}_\ast(P)$, and the operad of singular chains, $S_\ast(P)$, are weakly equivalent. As a consequence, $C^{ord}_\ast(P;\mathbb{Q})$ is formal if and only if $S_\ast(P;\mathbb{Q})$ is formal, thus linking together some formality results spread in the literature. The proof is based on an acyclic models theorem for monoidal functors. We give different variants of the acyclic models theorem and apply the contravariant case to study the cohomology theories for simplicial sets defined by $R$-simplicial differentia…
