Monoidal 2-Categories: A Review

Fatimah Rita Ahmadi

2023-12-12

Abstract:We review the complete definition of monoidal 2-categories and recover Kapranov and Voevodsky's definition from the algebraic definition of weak 3-category(or tricategory).

Category Theory

What problem does this paper attempt to address?

Monoidal supercategories

Jonathan Brundan,Alexander P. Ellis

DOI: https://doi.org/10.1007/s00220-017-2850-9

2017-01-26

Abstract:In the literature, one finds several competing notions for the super (i.e., Z/2-graded) analog of a monoidal category. The goal of this paper is to clarify these definitions and the connections between them. We also discuss in detail the example of the odd Temperley-Lieb supercategory. In a forthcoming article, we will exploit the formalism developed here in order to define super analogs of the Kac-Moody 2-categories of Khovanov-Lauda and Rouquier.

Representation Theory,Category Theory
Monoidal categories in, and linking, geometry and algebra

Ross Street

DOI: https://doi.org/10.48550/arXiv.1201.2991

2012-10-04

Abstract:This is a report on aspects of the theory and use of monoidal categories. The first section introduces the main concepts through the example of the category of vector spaces. String notation is explained and shown to lead naturally to a link between knot theory and monoidal categories. The second section reviews the light thrown on aspects of representation theory by the machinery of monoidal category theory, such as braidings and convolution. The category theory of Mackey functors is reviewed in the third section. Some recent material and a conjecture concerning monoidal centres is included. The fourth and final section looks at ways in which monoidal categories are, and might, be used for new invariants of low-dimensional manifolds and for the field theory of theoretical physics.

Category Theory
Duality in Monoidal Categories

Sebastian Halbig,Tony Zorman

2024-01-16

Abstract:We compare closed and rigid monoidal categories. Closedness is defined by the tensor product having a right adjoint: the internal-hom functor. Rigidity, on the other hand, generalises the duality of finite-dimensional vector spaces. In the latter, the internal-hom functor is implemented by tensoring with the respective duals. This raises the question: can one decide whether a closed monoidal category is rigid, simply by verifying that the internal-hom is tensor-representable? We provide a counterexample in terms of finitely-generated projective objects in an abelian k-linear category. A byproduct of our work is that we obtain characterisations of the Grothendieck--Verdier duality, also called *-autonomy, and rigidity of functor categories endowed with Day convolution as their tensor product. Applied to Mackey functors, this yields a proof of a sketched argument by Bouc linking rigidity of an object to it being finitely-generated projective.

Category Theory,Quantum Algebra
An introduction to monomorphism categories

Sondre Kvamme

2024-07-24

Abstract:This manuscript was written for the Proceedings of the ICRA 2022 in Buenos Aires. It can be divided into four parts: The first part is an introduction to the theory of monomorphism categories, including a short survey on some representation theoretic results. The second part is a summary of some recent results on monomorphism categories based on joint work with Nan Gao, Julian Külshammer and Chrysostomos Psaroudakis. It also includes a new result, namely a classification of all monomorphism categories of finite type over cyclic abelian groups. The third part concerns the relationship between submodule categories and $p$-valuated abelian groups. The last part contains a proof of wildness of a certain monomorphism category, rectifying a statement in the literature.

Representation Theory,Rings and Algebras
Koszul Monoids in Quasi-abelian Categories

Rhiannon Savage

DOI: https://doi.org/10.1007/s10485-023-09756-7

2023-12-07

Abstract:Suppose that we have a bicomplete closed symmetric monoidal quasi-abelian category $\mathcal{E}$ with enough flat projectives, such as the category of complete bornological spaces $\textbf{CBorn}_k$ or the category of inductive limits of Banach spaces $\textbf{IndBan}_k$. Working with monoids in $\mathcal{E}$, we can generalise and extend the Koszul duality theory of Beilinson, Ginzburg, Soergel. We use an element-free approach to define the notions of Koszul monoids, and quadratic monoids and their duals. Schneiders' embedding of a quasi-abelian category into an abelian category, its left heart, allows us to prove an equivalence of certain subcategories of the derived categories of graded modules over Koszul monoids and their duals.

Category Theory,Algebraic Geometry,Rings and Algebras
A brief review of abelian categorifications

Mikhail Khovanov,Volodymyr Mazorchuk,Catharina Stroppel

DOI: https://doi.org/10.48550/arXiv.math/0702746

2007-04-15

Abstract:This article contains a review of categorifications of semisimple representations of various rings via abelian categories and exact endofunctors on them. A simple definition of an abelian categorification is presented and illustrated with several examples, including categorifications of various representations of the symmetric group and its Hecke algebra via highest weight categories of modules over the Lie algebra sl(n). The review is intended to give non-experts in representation theory who are familiar with the topological aspects of categorification (lifting quantum link invariants to homology theories) an idea for the sort of categories that appear when link homology is extended to tangles.

Representation Theory,Category Theory
Inner autoequivalences in general and those of monoidal categories in particular

Pieter Hofstra,Martti Karvonen

DOI: https://doi.org/10.1016/j.jpaa.2024.107717

2024-05-25

Abstract:We develop a general theory of (extended) inner autoequivalences of objects of any 2-category, generalizing the theory of isotropy groups to the 2-categorical setting. We show how dense subcategories let one compute isotropy in the presence of binary coproducts, unifying various known one-dimensional results and providing tractable computational tools in the two-dimensional setting. In particular, we show that the isotropy 2-group of a monoidal category coincides with its Picard 2-group, i.e., the 2-group on its weakly invertible objects.

Category Theory
Univalent Double Categories

Niels van der Weide,Nima Rasekh,Benedikt Ahrens,Paige Randall North

2023-10-14

Abstract:Category theory is a branch of mathematics that provides a formal framework for understanding the relationship between mathematical structures. To this end, a category not only incorporates the data of the desired objects, but also "morphisms", which capture how different objects interact with each other. Category theory has found many applications in mathematics and in computer science, for example in functional programming. Double categories are a natural generalization of categories which incorporate the data of two separate classes of morphisms, allowing a more nuanced representation of relationships and interactions between objects. Similar to category theory, double categories have been successfully applied to various situations in mathematics and computer science, in which objects naturally exhibit two types of morphisms. Examples include categories themselves, but also lenses, petri nets, and spans. While categories have already been formalized in a variety of proof assistants, double categories have received far less attention. In this paper we remedy this situation by presenting a formalization of double categories via the proof assistant Coq, relying on the Coq UniMath library. As part of this work we present two equivalent formalizations of the definition of a double category, an unfolded explicit definition and a second definition which exhibits excellent formal properties via 2-sided displayed categories. As an application of the formal approach we establish a notion of univalent double category along with a univalence principle: equivalences of univalent double categories coincide with their identities

Category Theory,Logic in Computer Science
Local Modules in Braided Monoidal 2-Categories

Thibault D. Décoppet,Hao Xu

DOI: https://doi.org/10.1063/5.0172042

2023-07-06

Abstract:Given an algebra in a monoidal 2-category, one can construct a 2-category of right modules. Given a braided algebra in a braided monoidal 2-category, it is possible to refine the notion of right module to that of a local module. Under mild assumptions, we prove that the 2-category of local modules admits a braided monoidal structure. In addition, if the braided monoidal 2-category has duals, we go on to show that the 2-category of local modules also has duals. Furthermore, if it is a braided fusion 2-category, we establish that the 2-category of local modules is a braided multifusion 2-category. We examine various examples. For instance, working within the 2-category of 2-vector spaces, we find that the notion of local module recovers that of braided module 1-category. Finally, we examine the concept of a Lagrangian algebra, that is a braided algebra with trivial 2-category of local modules. In particular, we completely describe Lagrangian algebras in the Drinfeld centers of fusion 2-categories, and we discuss how this result is related to the classifications of topological boundaries of (3+1)d topological phases of matter.

Category Theory,Strongly Correlated Electrons,High Energy Physics - Theory,Quantum Algebra
Monoidal algebraic model structures

Emily Riehl

DOI: https://doi.org/10.1016/j.jpaa.2012.09.029

IF: 0.834

2013-06-01

Journal of Pure and Applied Algebra

Abstract:Extending previous work, we define monoidal algebraic model structures and give examples. The main structural component is what we call an algebraic Quillen two-variable adjunction; the principal technical work is to develop the category theory necessary to characterize them. Our investigations reveal an important role played by “cellularity”–loosely, the property of a cofibration being a relative cell complex, not simply a retract of such–which we particularly emphasize. A main result is a simple criterion which shows that algebraic Quillen two-variable adjunctions correspond precisely to cell structures on the pushout-products of generating (trivial) cofibrations. As a corollary, we discover that the familiar monoidal model structures on categories and simplicial sets admit this extra algebraic structure.

mathematics, applied
Enriched duality in double categories II: modules and comodules

Vasileios Aravantinos-Sotiropoulos,Christina Vasilakopoulou

2024-09-11

Abstract:In this work, we continue the investigation of certain enrichments of dual algebraic structures in monoidal double categories, that was initiated in [Vas19]. First, we re-visit monads and comonads in double categories and establish a tensored and cotensored enrichment of the former in the latter, under general conditions. These include monoidal closedness and local presentability of the double category, notions that are proposed as tools required for our main results, but are of interest in their own right. The natural next step involves categories of the newly introduced modules for monads and comodules for comonads in double categories. After we study their main categorical properties, we establish a tensored and cotensored enrichment of modules in comodules, as well as an enriched fibration structure that involves (co)modules over (co)monads in double categories. Applying this abstract double categorical framework to the setting of V-matrices produces an enrichment of the category of V-enriched modules (fibred over V-categories) in V-enriched comodules (opfibred over V-cocategories), which is the many-object generalization of the respective result for modules (over algebras) and comodules (over coalgebras) in monoidal categories.

Category Theory,Rings and Algebras
The symmetric monoidal 2-category of permutative categories

Nick Gurski,Niles Johnson,Angélica M. Osorno

DOI: https://doi.org/10.48550/arXiv.2211.04464

2023-11-16

Abstract:We define a tensor product for permutative categories and prove a number of key properties. We show that this product makes the 2-category of permutative categories closed symmetric monoidal as a bicategory.

Category Theory
Multicategories from Symmetric Monoidal Categories

A. D. Elmendorf

2024-07-20

Abstract:This paper considers the possible underlying multicategories for a symmetric monoidal category, and shows that, up to canonical and coherent isomorphism, there really is only one. As a result, there is a well-defined forgetful functor from symmetric monoidal categories to multicategories, as long as all morphisms of symmetric monoidal categories are at least lax symmetric monoidal. The paper also shows that this forgetful functor has a left adjoint, and that the monad of the adjunction gives a strictification construction.

Category Theory
Weak vertical composition II: totalities

Eugenia Cheng,Alexander S. Corner

2023-08-19

Abstract:We continue our study of semi-strict tricategories in which the only weakness is in vertical composition. We assemble the doubly-degenerate such tricategories into a 2-category, defining weak functors and transformations. We exhibit a biadjoint biequivalence between this 2-category and the 2-category of braided (weakly) monoidal categories, braided (weakly) monoidal functors, and monoidal transformations.

Category Theory
Interacting Monoidal Structures with Applications in Computing

James Cranch,Georg Struth

2024-11-06

Abstract:With a view on applications in computing, in particular concurrency theory and higher-dimensional rewriting, we develop notions of $n$-fold monoid and comonoid objects in $n$-fold monoidal categories and bicategories. We present a series of examples for these structures from various domains, including a categorical model for a communication protocol and a lax $n$-fold relational monoid, which has previously been used implicitly for higher-dimensional rewriting and which specialises in a natural way to strict $n$-categories. A special set of examples is built around modules and algebras of the boolean semiring, which allows us to deal with semilattices, additively idempotent semirings and quantales using tools from classical algebra.

Category Theory,Logic in Computer Science
Abstract Kleisli structures on 2-categories

Adrian Miranda

2024-07-02

Abstract:Führmann introduced Abstract Kleisli structures to model call-by-value programming languages with side effects, and showed that they correspond to monads satisfying a certain equalising condition on the unit. We first extend this theory to non-strict morphisms of monads, and to incorporate $2$-cells of monads. We then further extend this to a theory of abstract Kleisli structures on $2$-categories, characterising when the original pseudomonad can be recovered by the abstract Kleisli structure on its $2$-category of free-pseudoalgebras.

Category Theory
A monadicity theorem for higher algebraic structures

Hadrian Heine

2023-07-20

Abstract:We develop a theory of Eilenberg-Moore objects in any $(\infty,2)$-category and extend Barr-Beck's monadicity theorem to any $(\infty,2)$-category that admits Eilenberg-Moore objects. We apply this result to various $(\infty,2)$-categories of higher algebraic structures to obtain a monadicity theorem for enriched $\infty$-categories, $\infty$-operads and higher Segal objects. Analyzing Eilenberg-Moore objects in the $(\infty,2)$-categories of symmetric monoidal $\infty$-categories and lax (oplax) symmetric monoidal functors we extend classical results about lax (oplax) symmetric monoidal monads to the $\infty$-categorical world: we construct two tensor products for algebras over lax (oplax) symmetric monoidal monads, respectively: the first one extends the relative tensor product for modules over an $\mathbb{E}_{\mathrm{k}}$-algebra for $2 \leq \mathrm{k} \leq \infty$, the second one generalizes the object-wise tensor product for $\mathbb{E}_{\mathrm{k}}$-algebras in any $\mathbb{E}_{\mathrm{k}}$-monoidal $\infty$-category. As an application we construct a tensor product for algebras over any Hopf $\infty$-operad.

Category Theory
Typing Tensor Calculus in 2-Categories

Fatimah Ahmadi

DOI: https://doi.org/10.48550/arXiv.1908.01212

2019-08-03

Category Theory

Abstract:We introduce semiadditive 2-categories, 2-categories with binary 2-biproducts and a zero object, as a suitable framework for typing tensor calculus. Tensors are the generalization of matrices, whose components have more than two indices.
A braided monoidal $(\infty,2)$-category of Soergel bimodules

Yu Leon Liu,Aaron Mazel-Gee,David Reutter,Catharina Stroppel,Paul Wedrich

2024-02-06

Abstract:The Hecke algebras for all symmetric groups taken together form a braided monoidal category that controls all quantum link invariants of type A and, by extension, the standard canon of topological quantum field theories in dimension 3 and 4. Here we provide the first categorification of this Hecke braided monoidal category, which takes the form of an $\mathbb{E}_2$-monoidal $(\infty,2)$-category whose hom-$(\infty,1)$-categories are $k$-linear, stable, idempotent-complete, and equipped with $\mathbb{Z}$-actions. This categorification is designed to control homotopy-coherent link homology theories and to-be-constructed topological quantum field theories in dimension 4 and 5.

Quantum Algebra,Algebraic Geometry,Algebraic Topology,Category Theory,Representation Theory
Notes on Category Theory with examples from basic mathematics

Paolo Perrone

DOI: https://doi.org/10.1142/13670

2024-04-19

Abstract:These notes were originally developed as lecture notes for a category theory course. They should be well-suited to anyone that wants to learn category theory from scratch and has a scientific mind. There is no need to know advanced mathematics, nor any of the disciplines where category theory is traditionally applied, such as algebraic geometry or theoretical computer science. The only knowledge that is assumed from the reader is linear algebra. All concepts are explained by giving concrete examples from different, non-specialized areas of mathematics (such as basic group theory, graph theory, and probability). Not every example is helpful for every reader, but hopefully every reader can find at least one helpful example per concept. The reader is encouraged to read all the examples, this way they may even learn something new about a different field. Particular emphasis is given to the Yoneda lemma and its significance, with both intuitive explanations, detailed proofs, and specific examples. Another common theme in these notes is the relationship between categories and directed multigraphs, which is treated in detail. From the applied point of view, this shows why categorical thinking can help whenever some process is taking place on a graph. From the pure math point of view, this can be seen as the 1-dimensional first step into the theory of simplicial sets. Finally, monads and comonads are treated on an equal footing, differently to most literature in which comonads are often overlooked as "just the dual to monads". Theorems, interpretations and concrete examples are given for monads as well as for comonads. This work, thoroughly revised and expanded, is now a book, with an extra section on monoidal categories.

Category Theory,Logic in Computer Science,History and Overview

Monoidal 2-Categories: A Review

Monoidal supercategories

Monoidal categories in, and linking, geometry and algebra

Duality in Monoidal Categories

An introduction to monomorphism categories

Koszul Monoids in Quasi-abelian Categories

A brief review of abelian categorifications

Inner autoequivalences in general and those of monoidal categories in particular

Univalent Double Categories

Local Modules in Braided Monoidal 2-Categories

Monoidal algebraic model structures

Enriched duality in double categories II: modules and comodules

The symmetric monoidal 2-category of permutative categories

Multicategories from Symmetric Monoidal Categories

Weak vertical composition II: totalities

Interacting Monoidal Structures with Applications in Computing

Abstract Kleisli structures on 2-categories

A monadicity theorem for higher algebraic structures

Typing Tensor Calculus in 2-Categories

A braided monoidal $(\infty,2)$-category of Soergel bimodules

Notes on Category Theory with examples from basic mathematics