English
Related papers

Related papers: Higher Frobenius-Schur Indicators for Pivotal Cate…

200 papers

We classify certain subcategories in quotients of exact categories. In particular, we classify the triangulated and thick subcategories of an algebraic triangulated category, i.e. the stable category of a Frobenius category.

Category Theory · Mathematics 2017-12-15 Emilie Arentz-Hansen

In this article we investigate which categorical structures of a category C are inherited by its arrow category. In particular, we show that a monoidal equivalence between two categories gives rise to a monoidal equivalence between their…

Category Theory · Mathematics 2023-09-28 Paulina L. A. Goedicke , Jamie Vicary

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…

Category Theory · Mathematics 2010-01-08 K. Dosen , Z. Petric

We axiomatically define (pre-)Hilbert categories. The axioms resemble those for monoidal Abelian categories with the addition of an involutive functor. We then prove embedding theorems: any locally small pre-Hilbert category whose monoidal…

Category Theory · Mathematics 2010-08-05 Chris Heunen

This article generalizes the correspondence between matrix factorizations and maximal Cohen-Macaulay modules over hypersurface rings due to Eisenbud and Yoshino. We consider factorizations with several factors in a purely categorical…

Category Theory · Mathematics 2026-05-12 Jonas Frank , Mathias Schulze

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…

Category Theory · Mathematics 2021-08-19 Joe Moeller , Christina Vasilakopoulou

We introduce the dual notions of $\mathcal{E}(\mathcal{X},M,\mathcal{Y})$ and $\mathcal{M}(\mathcal{X},M,\mathcal{Y})$, and investigate when they have enough injective objects or projective objects, when they are resolving or co-resolving,…

Commutative Algebra · Mathematics 2021-12-21 Dancheng Lu , Panpan Xie

In this paper we show that for an important class of non-trivial Hopf algebras, the Schur indicator is a computable invariant. The Hopf algebras we consider are all abelian extensions; as a special case, they include the Drinfeld double of…

Quantum Algebra · Mathematics 2007-05-23 Yevgenia Kashina , Geoffrey Mason , Susan Montgomery

We extend the theory of Sweeder's measuring comonoids to the framework of duoidal categories: categories equipped with two compatible monoidal structures. We use one of the tensor products to endow the category of monoids for the other with…

Category Theory · Mathematics 2020-05-05 Ignacio López Franco , Christina Vasilakopoulou

Treewidth is a well-known graph invariant with multiple interesting applications in combinatorics. On the practical side, many NP-complete problems are polynomial-time (sometimes even linear-time) solvable on graphs of bounded treewidth. On…

Category Theory · Mathematics 2021-05-13 Zoltan A. Kocsis , Benjamin Merlin Bumpus

We develop a string-net construction of a modular functor whose algebraic input is a pivotal bicategory; this extends the standard construction based on a spherical fusion category. An essential ingredient in our construction is a graphical…

Quantum Algebra · Mathematics 2025-06-09 Jürgen Fuchs , Christoph Schweigert , Yang Yang

We define a notion on preadditive categories which plays a role similar to the notion of a Grothendieck pretopology on an unenriched category. Each such additive pretopology defines an additive Grothendieck topology and suffices to define…

Category Theory · Mathematics 2022-10-18 Kevin Coulembier

We show that under mild conditions on the monoidal base category $\mathcal V$, the category ${\sf VHopf}$ of Hopf $\mathcal V$-categories is locally presentable and deduce the existence of free and cofree Hopf categories. We also provide an…

Category Theory · Mathematics 2024-05-01 Paul Großkopf , Joost Vercruysse

We define and study opfibrations of $V$-enriched categories when $V$ is an extensive monoidal category whose unit is terminal and connected. This includes sets, simplicial sets, categories, or any locally cartesian closed category with…

Category Theory · Mathematics 2019-09-10 Jonathan Beardsley , Liang Ze Wong

This paper is a study of monoidal categories with duals where the tensor product need not be commutative. The motivating examples are categories of representations of Hopf algebras and the motivating application is the definition of…

High Energy Physics - Theory · Physics 2008-11-26 John W. Barrett , Bruce W. Westbury

Let $F, G: \mathcal{I} \to \mathcal{C}$ be strong monoidal functors from a skeletally small monoidal category $\mathcal{I}$ to a tensor category $\mathcal{C}$ over an algebraically closed field $k$. The set $Nat(F, G)$ of natural…

Category Theory · Mathematics 2010-08-12 Kenichi Shimizu

Motivated by the Moore-Segal axioms for an open-closed topological field theory, we consider planar open string topological field theories. We rigorously define a category 2Thick whose objects and morphisms can be thought of as open strings…

Quantum Algebra · Mathematics 2007-05-23 Aaron D. Lauda

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,…

Category Theory · Mathematics 2009-02-03 Jurgen Fuchs , Carl Stigner

A linear Gr-category is a category of finite-dimensional vector spaces graded by a finite group together with natural tensor product. We classify the braided monoidal structures of a class of linear Gr-categories via explicit computations…

Quantum Algebra · Mathematics 2014-05-19 Hua-Lin Huang , Gongxiang Liu , Yu Ye

Effectful categories have two classes of morphisms: pure morphisms, which form a monoidal category; and effectful morphisms, which can only be combined monoidally with central morphisms (such as the pure ones), forming a premonoidal…

Logic in Computer Science · Computer Science 2026-03-18 Matthew Earnshaw , Chad Nester , Mario Román