Brian Day, Craig Pastro
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
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.
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.
Diagrammatics for lax and Frobenius monoidal functors and weak morphism classifiers
本文通过图示法构造了单子 functor 的图示结构，包括松、反松和弗罗贝尼乌斯松 functor 的变体，揭示了其与弱 morphism 分类器的关系。
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…
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.
We study internal structures in regular categories using monoidal methods. Groupoids in a regular Goursat category can equivalently be described as special dagger Frobenius monoids in its monoidal category of relations. Similarly, connectors can equivalently be described as Frobenius structures with a ternary multiplication. We study such ternary Frobenius structures and the relationship to binary ones, generalising that between connectors and groupoids.
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.
Colored Petri Nets are Monoidal Double Functors
本文用范畴论将着色Petri网刻画为幺半双函子，统一了其态射与展开等构造，为相关研究提供新视角。
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.
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…
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.
We show that the equivalence between several possible characterizations of Frobenius algebras, and of symmetric Frobenius algebras, carries over from the category of vector spaces to more general monoidal categories. For Frobenius algebras, the appropriate setting is the one of rigid monoidal categories, and for symmetric Frobenius algebras it is the one of sovereign monoidal categories. We also discuss some properties of Nakayama automorphisms.
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…
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.
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…
Frobenius Algebras and Dual Bimodules in Monoidal 2-Categories
利用Frobenius代数结构在弱幺半2-范畴中显式构造对偶双模，证明其相干性，并论证2Vect中每个特殊Frobenius代数是刚性的。
We recall the Tannaka construction for certain types of split monoidal functor into Vect_{k}, and remove the compactness restriction on the domain.
Entwined modules over cowreaths in a monoidal category are introduced. They can be identified to coalgebras in an appropriate monoidal category. It is investigated when such coalgebras are Frobenius (resp. separable), and when the forgetful functor from entwined modules to representations of the underlying algebra is Frobenius (resp. separable). These properties are equivalent when the unit object of the category is a $\otimes$-generator.
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.
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.
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…
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}$.
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.
Frobenius monoidal functors induced by Frobenius extensions of Hopf algebras
本文研究了由霍普夫代数的弗罗贝尼乌斯扩展诱导的单子函子，证明其在一般情况下为弗罗贝尼乌斯单子函子，并探讨了其在 Yetter-Drinfeld 模拟中的扩展条件。
On pushouts of strict symmetric monoidal categories
本文为严格对称幺半范畴的推出给出显式构造，证明辫子强幺半函子强保持中心幂等元，并推论其中心幂等元格与严格化版本同构，服务于计算并发建模。
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 …
Frobenius monoidal functors from ambiadjunctions and their lifts to Drinfeld centers
本研究给出强幺半函子的双伴随函子成为Frobenius幺半函子的一般条件，进一步得到其可提升为Drinfeld中心上辫子Frobenius幺半函子的更强条件，并通过Hopf代数态射构造了具体实例。
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…
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.
The Grouplike Functor and Monoidal Adjunctions
本文在辫子幺半范畴中范畴化Hopf代数的群样元素函子，通过有限极限构造群对象，证明其函子性并给出自由Hopf幺半群函子的右伴随，推广经典对应。
Monoidal Structures on Generalized Polynomial Categories
该研究将多项式函子与dialectica范畴上的已知幺半群结构推广到广义多项式范畴，重点分析了一种推广多项式函子复合的非对称幺半群结构，证明其对应余幺半群的性质，可用于动力系统组合界建模。
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…
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…
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.
Multicategories from Symmetric Monoidal Categories
本文研究对称幺半范畴的底层多范畴，证明其在典范融贯同构下唯一，定义了对应遗忘函子并证明其有弱左伴随，且伴随单子给出严格化构造。
We develop and extend the theory of Mackey functors as an application of enriched category theory. We define Mackey functors on a lextensive category $\E$ and investigate the properties of the category of Mackey functors on $\E$. We show that it is a monoidal category and the monoids are Green functors. Mackey functors are seen as providing a setting in which mere numerical equations occurring in the theory of groups can be given a structural foundation. We obtain an explicit description of the objects of the Cauchy completion of a monoidal functor and apply this to examine Morita equivalence …
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,…
Dioperads, Frobenius monoidal functors and duality
本文引入了对称单向富集范畴间的d-对偶上下文概念，研究了单向函子的右伴随及d-扭曲二元积的代数结构，提出了一种dioperadic Day卷积方法。
Controlled objects as a symmetric monoidal functor
本文构造从 G BornCoarse 到 Add_∞ 的松对称幺半函子 V_A^G，从而将等变粗代数 K-同调函子化并精化为松对称幺半形式。
Lemme de Yoneda pour les foncteurs à valeurs monoidales
本研究针对闭对称幺半范畴$\u2716M$，证明小范畴$I$对应的函子范畴$\u2716M^I$是闭$\u2716M$-模，重写幺半值函子的米田引理，推导伴随函子定理并验证$\u2716M^I$为闭对称幺半范畴。
Coherence theorems are fundamental to how we think about monoidal categories and their generalizations. In this paper we revisit Mac Lane's original proof of coherence for monoidal categories using the Grothendieck construction. This perspective makes the approach of Mac Lane's proof very amenable to generalization. We use the technique to give efficient proofs of many standard coherence theorems and new coherence results for bicategories with shadow and for their functors.
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,…
A symmetric monoidal Comparison Lemma
本文证明比较引理的对称幺半版本，建立松弛与强对称幺半超层范畴间的等价，并用于获得紧支撑上同调理论结果的松弛对称幺半推广。
Universal pseudomorphisms, with applications to diagrammatic coherence for braided and symmetric monoidal functors
本文提出通用伪态射理论，证明在一定假设下伪态射融贯性等价于严格代数融贯性，并应用于普通、对称与辫子幺半函子的图解融贯性。
Discrete vertices in simplicial objects internal to a monoidal category
本文在幺半范畴中引入单纯对象，比较三种离散顶点定义，证明基于点函子与templicial对象等价，且与丰富Segal预范畴在笛卡尔情形等价。
Semiseparability of induction functors in a monoidal category
本文研究了单向范畴中诱导函子的共性分离性条件及其在双单向范畴中的应用。
Frobenius functors and one-sided Hopf algebras in braided monoidal categories
本文在辫子幺半范畴中证明：双幺半群为单侧Hopf幺半群且对映体为反同态，当且仅当自由Hopf模函子是Frobenius的，并给出自由单侧Hopf幺半群的构造及例子。
We define higher Frobenius-Schur indicators for objects in linear pivotal monoidal categories. We prove that they are category invariants, and take values in the cyclotomic integers. We also define a family of natural endomorphisms of the identity endofunctor on a $k$-linear semisimple rigid monoidal category, which we call the Frobenius-Schur endomorphisms. For a $k$-linear semisimple pivotal monoidal category -- where both notions are defined --, the Frobenius-Schur indicators can be computed as traces of the Frobenius-Schur endomorphisms.
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.
Koszul resolution for linear monoidal functors
本文在本质小线性对称幺半范畴的函子范畴中引入正则序列与Koszul分解，定义多项式，计算Hochschild上同调函子，并证明张量幂等交换幺半元上多项式的Hilbert合系定理相对类比。
We study adjoint and Frobenius pairs of functors, equivalences, and the Picard group for corings.
Projection formulas and induced functors on centers of monoidal categories
本文研究了单子adjunction诱导的braided lax单子函子，通过投射公式 morphisms 的可逆性，探讨了Hopf代数的限制与诱导沿态射的单子adjunction，并应用这些函子到 affine代数群、量子群和Radford-Majid双积Hopf代数的例子中。
Module Categories As Spans
本文提出在一般单子2-范畴中模块与代数跨度之间的对应关系，并通过统一和推广模块函子的实现来展示其理论价值。
Quotient Category of a Multiring Category
本文为阿贝尔幺半范畴的Serre商范畴引入张量结构，证明多环范畴（多张量范畴）关于双边Serre张量理想的商仍为多环范畴（多张量范畴），并指出张量范畴的双边Serre张量理想平凡。
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.
The direction functor for Schreier extensions of monoids
本文提出了一种推广的方向函子，用于描述非阿贝尔上同调的范畴结构，并证明其纤维具有自然的对称单向量结构。
For a small category K enriched over a suitable monoidal category V, the free completion of K under colimits is the presheaf category [K*,V]. If K is large, its free completion under colimits is the V-category PK of small presheaves on K, where a presheaf is small if it is a left Kan extension of some presheaf with small domain. We study the existence of limits and of monoidal closed structures on PK.
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.
Grothendieck prelopologies: towards a closed monoidal sheaf category
本文推广 Grothendieck 预拓扑至半笛卡尔范畴，通过不保持有限极限的层化过程，构造闭幺半群层范畴，并受量子格上层概念的启发。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。