Related papers: String diagrams and categorification
These notes on string theory are based on a series of talks I gave during my graduate studies. As the talks, this introductory essay is intended for young students and non-string theory physicists.
In this note, we introduce monoidal subcategories of the tensor category of finite-dimensional representations of a simply-laced quantum affine algebra, parametrized by arbitrary Dynkin quivers. For linearly oriented quivers of types A and…
String diagrams are pictorial representations for morphisms of symmetric monoidal categories. They constitute an intuitive and expressive graphical syntax, which has found application in a very diverse range of fields including concurrency…
We study monoidal categorifications of certain monoidal subcategories $\mathcal{C}_J$ of finite-dimensional modules over quantum affine algebras, whose cluster algebra structures coincide and arise from the category of finite-dimensional…
These are lecture notes from a mini-course given at the CIMPA in Mar del Plata, Argentina, in March 2016. The aim of the course was to introduce cluster characters for 2-Calabi-Yau triangulated categories and present their main properties.…
A popular graphical calculus for monoidal categories makes computations tactile and intuitive. Complicated diagram chases can be expressed in a few pictures and discovered by playing with a shoelace. Joyal and Street's proof of the…
Bimonoidal categories (also known as rig categories) are categories with two monoidal structures, one of which distributes over the other. We formally define sheet diagrams, a graphical calculus for bimonoidal categories that was informally…
These are the notes for a minicourse held in Odessa (2016) and Belo Horizonte (2017). My aim was to provide a short introduction to basic notions of category theory and representation theory of finite-dimensional algebras. We learnt the…
We give an alternate conception of string diagrams as labeled 1-dimensional oriented cobordisms, the operad of which we denote by Cob/O, where O is the set of string labels. The axioms of traced (symmetric monoidal) categories are fully…
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,…
We introduce string diagrams as a formal mathematical, graphical language to represent, compose, program and reason about games. The language is well established in quantum physics, quantum computing and quantum linguistic with the…
This tutorial gives an advanced introduction to string diagrams and graph languages for higher-order computation. The subject matter develops in a principled way, starting from the two dimensional syntax of key categorical concepts such as…
These are lecture notes for a 1-semester undergraduate course (in computer science, mathematics, physics, engineering, chemistry or biology) in applied categorical meta-language. The only necessary background for comprehensive reading of…
The correspondence between monoidal categories and graphical languages of diagrams has been studied extensively, leading to applications in quantum computing and communication, systems theory, circuit design and more. From the categorical…
We discuss the foundations of 2-dimensional graphical languages, with a view towards their computer implementation in a 'compiler' for monoidal categories. In particular, we discuss the close relationship between string diagrams, pasting…
String diagrams are an increasingly popular algebraic language for the analysis of graphical models of computations across different research fields. Whereas string diagrams have been thoroughly studied as semantic structures, much less…
This article is based on a talk given at the ``Strings'97'' conference. It discusses the search for the universality class of confining strings. The key ingredients include the loop equations, the zigzag symmetry, the non-linear…
We develop layered monoidal theories -- a generalisation of monoidal theories combining formal descriptions of a system at different levels of abstraction. Via their representation as string diagrams, monoidal theories provide a graphical…
The purpose of this text is to set up a few basic notions concerning quantum graphs, to indicate some areas addressed in the quantum graph research, and to provide some pointers to the literature. The pointers in many cases are secondary,…
We present a Rocq library for monoidal categories, which includes a decision procedure for proving equality of morphisms as well as notations that make it possible to reason as if they were strict, inferring MacLane isomorphims…