English
Related papers

Related papers: Monoidal categories in, and linking, geometry and …

200 papers

We present a new model of computation, described in terms of monoidal categories. It conforms the Church-Turing Thesis, and captures the same computable functions as the standard models. It provides a succinct categorical interface to most…

Logic in Computer Science · Computer Science 2015-03-20 Dusko Pavlovic

A general result relating skew monoidal structures and monads is proved. This is applied to quantum categories and bialgebroids. Ordinary categories are monads in the bicategory whose morphisms are spans between sets. Quantum categories…

Category Theory · Mathematics 2014-11-10 Stephen Lack , Ross Street

The study of abstraction and composition - the focus of category theory - naturally leads to sophisticated diagrams which can encode complex algebraic semantics. Consequently, these diagrams facilitate a clearer visual comprehension of…

Category Theory · Mathematics 2024-06-27 Vincent Abbott , Gioele Zardini

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}$…

Category Theory · Mathematics 2016-12-23 Neha Gupta , Pradip Kumar

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…

Category Theory · Mathematics 2007-06-21 Ross Street , Elango Panchadcharam

In this short note, we classify linear categorified open topological field theories in dimension two by pivotal Grothendieck-Verdier categories, a type of monoidal category equipped with a weak, not necessarily rigid duality. In combination…

Quantum Algebra · Mathematics 2025-08-01 Lukas Müller , Lukas Woike

We argue that category theory should become a part of the daily practice of the physicist, and more specific, the quantum physicist and/or informatician. The reason for this is not that category theory is a better way of doing mathematics,…

Quantum Physics · Physics 2008-11-14 Bob Coecke

Recently, there has been renewed interest in the theory and applications of de Paiva's dialectica categories and their relationship to the category of polynomial functors. Both fall under the theory of generalized polynomial categories,…

Category Theory · Mathematics 2023-12-15 Joseph Dorta , Samantha Jarvis , Nelson Niu

In this paper we introduce the notion of a relative volutive (higher) category, specializing to the notion of a lax volutive (higher) category. Our primary motivation to study these objects is the following: while any rigid symmetric…

Category Theory · Mathematics 2026-02-18 Tim Lüders

We firstly introduce some key concepts in category theory, such as quotient category, completion of limits, $\mathrm{Mor}$ category, and so on; then give the concept of topology algebras and sheaves, and discuss how to restore the structue…

Category Theory · Mathematics 2019-06-11 Dezhao Zhang

The purpose of this expository note is to describe duality and trace in a symmetric monoidal category, along with important properties (including naturality and functoriality), and to give as many examples as possible. Among other things,…

Category Theory · Mathematics 2013-10-25 Kate Ponto , Michael Shulman

A group-category is an additively semisimple category with a monoidal product structure in which the simple objects are invertible. For example in the category of representations of a group, 1-dimensional representations are the invertible…

Geometric Topology · Mathematics 2007-05-23 Frank Quinn

These are lectures notes for a mini-course given at the conference Interactions of Quantum Affine Algebras with Cluster Algebras, Current Algebras, and Categorification in June 2018. The goal is to introduce the reader to string diagram…

Representation Theory · Mathematics 2022-04-27 Alistair Savage

A braided monoidal category may be considered a $3$-category with one object and one $1$-morphism. In this paper, we show that, more generally, $3$-categories with one object and $1$-morphisms given by elements of a group $G$ correspond to…

Category Theory · Mathematics 2026-02-18 Corey Jones , David Penneys , David Reutter

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

In fairly elementary terms this paper presents, and expands upon, a recent result by Garner by which the notion of topologicity of a concrete functor is subsumed under the concept of total cocompleteness of enriched category theory.…

Category Theory · Mathematics 2016-02-19 Lili Shen , Walter Tholen

We collate information about the fusion categories with $A_n$ fusion rules. This note includes the classification of these categories, a realisation via the Temperley-Lieb categories, the auto-equivalence groups (both braided and tensor),…

Quantum Algebra · Mathematics 2017-10-23 Cain Edie-Michell , Scott Morrison

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…

Category Theory · Mathematics 2019-11-26 Linde Wester Hansen , Michael Shulman

This is a short introduction to categories with some emphasis on coalgebras. We start from introducing basic notions (categories, functors, natural transformations), move to Kleisli tripels and monads, with a short discussion of monads in…

Logic in Computer Science · Computer Science 2014-10-09 Ernst-Erich Doberkat

Braid groups are an important and flexible tool used in several areas of science, such as Knot Theory (Alexander's theorem), Mathematical Physics (Yang-Baxter's equation) and Algebraic Geometry (monodromy invariants). In this note we will…

Algebraic Geometry · Mathematics 2019-05-10 Francesco Polizzi