English
Related papers

Related papers: Symmetric Self-Adjunctions and Matrices

200 papers

We present the notion of "cyclic double multicategory", as a structure in which to organise multivariable adjunctions and mates. The classic example of a 2-variable adjunction is the hom/tensor/cotensor trio of functors; we generalise this…

Category Theory · Mathematics 2012-08-24 Eugenia Cheng , Nick Gurski , Emily Riehl

It is common to encounter symmetric monoidal categories $\mathcal{C}$ for which every object is equipped with an algebraic structure, in a way that is compatible with the monoidal product and unit in $\mathcal{C}$. We define this formally…

Category Theory · Mathematics 2020-05-06 Brendan Fong , David I Spivak

By providing equivalent definitions of fractional Brauer configuration algebras in certain special cases, we associate to each monomial algebra some combinatorial data called a fractional Brauer configuration, from which we construct a…

Rings and Algebras · Mathematics 2026-01-29 Yuming Liu , Bohan Xing

With every reduced $E$-Fountain semigroup $S$ which satisfies the generalized right ample condition we associate a category with zero morphisms $\mathcal{C}(S)$. Under some assumptions we prove an isomorphism of $\Bbbk$-algebras $\Bbbk…

Representation Theory · Mathematics 2025-02-18 Itamar Stein

In [arXiv:1509.02937], the notion of a module tensor category was introduced as a braided monoidal central functor $F\colon \mathcal{V}\longrightarrow \mathcal{T}$ from a braided monoidal category $\mathcal{V}$ to a monoidal category…

Category Theory · Mathematics 2023-11-22 Sebastian Heinrich

We introduce two families of diagrammatic monoidal supercategories. The first family, depending on an associative superalgebra, generalizes the oriented Brauer category. The second, depending on an involutive superalgebra, generalizes the…

Representation Theory · Mathematics 2025-06-13 Saima Samchuck-Schnarch , Alistair Savage

The Eilenberg-Moore constructions and a Beck-type theorem for pairs of monads are described. More specifically, a notion of a {\em Morita context} comprising of two monads, two bialgebra functors and two connecting maps is introduced. It is…

Category Theory · Mathematics 2009-09-22 Tomasz Brzeziński , Adrian Vazquez Marquez , Joost Vercruysse

Graduated locally finitely presentable categories are introduced, examples include categories of sets, vector spaces, posets, presheaves and Boolean algebras. A finitary functor between graduated locally finitely presentable categories is…

Category Theory · Mathematics 2024-02-06 Jirí Adámek , Lurdes Sousa

In this article, we investigate monoidal, braided, sylleptic centralizers of monoidal, braided, sylleptic 2-functors. We specifically focus on multifusion 2-categories and show that monoidal, braided, sylleptic centralizers are multifusion…

Category Theory · Mathematics 2025-03-18 Hao Xu

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…

Algebraic Topology · Mathematics 2017-10-03 Thomas Nikolaus , Steffen Sagave

We introduce a tensor product for symmetric monoidal categories with the following properties. Let SMC denote the 2-category with objects small symmetric monoidal categories, arrows symmetric monoidal functors and 2-cells monoidal natural…

Category Theory · Mathematics 2008-06-11 Vincent Schmitt

We present a construction of autoequivalences of derived categories of symmetric algebras based on projective modules with periodic endomorphism algebras. This construction generalises autoequivalences previously constructed by…

Representation Theory · Mathematics 2014-02-26 Joseph Grant

We show how the categorial approach to inverse monoids can be described as a certain endofunctor (which we call the partialization functor) of some category. In this paper we show that this functor can be used to obtain several recently…

Group Theory · Mathematics 2010-04-02 Ganna Kudryavtseva , Volodymyr Mazorchuk

We prove that the free algebra functor associated to a symmetric, pseudo commutative 2-monad, from the underlying symmetric monoidal 2-category to the 2-category of algebras and pseudo maps over the 2-monad can be enhanced to a…

Category Theory · Mathematics 2025-09-19 Diego Manco

Mirror symmetry predicts an action by the fundamental group of a conjectural stringy K\"ahler moduli space on the derived category of an algebraic variety. For a toric variety, a model for this space is understood, but constructing the…

Symplectic Geometry · Mathematics 2026-05-01 Michela Barbieri , Andrew Hanlon , Jeff Hicks

We show that the Drinfeld centre of a symmetric fusion category is a bilax 2-fold monoidal category. That is, it carries two monoidal structures, the convolution and symmetric tensor products, that are bilax monoidal functors with respect…

Quantum Algebra · Mathematics 2021-05-27 Thomas A. Wasserman

We study the monoid of so called projection functors $\p{S}$ attached to simple modules $S$ of a finite dimensional algebra, which appear naturally in the study of torsion pairs. We determine defining relations in special cases of path…

Representation Theory · Mathematics 2012-07-03 Anna-Louise Grensing

In categories of linear relations between finite dimensional vector spaces, composition is well-behaved only at pairs of relations satisfying transversality and monicity conditions. A construction of Wehrheim and Woodward makes it possible…

Symplectic Geometry · Mathematics 2015-03-24 Alan Weinstein

We define a diagrammatic monoidal category, together with a full and essentially surjective monoidal functor from this category to the category of modules over the exceptional Lie algebra of type $F_4$. In this way, we obtain a set of…

Representation Theory · Mathematics 2025-05-14 Raj Gandhi , Alistair Savage , Kirill Zainoulline

We study topological properties of the correspondence of prime spectra associated to a noncommutative ring homomorphism R -> S. Our main result provides criteria for the adjointness of certain functors between the categories of Zariski…

Rings and Algebras · Mathematics 2007-05-23 Edward S. Letzter