Related papers: A short course on $\infty$-categories
This short introductory category theory textbook is for readers with relatively little mathematical background (e.g. the first half of an undergraduate mathematics degree). At its heart is the concept of a universal property, important…
This paper is a rather informal guide to some of the basic theory of 2-categories and bicategories, including notions of limit and colimit, 2-dimensional universal algebra, formal category theory, and nerves of bicategories. As is the way…
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…
We define $A_{\infty}$-structures -- algebras, coalgebras, modules, and comodules -- in an arbitrary monoidal DG category or bicategory by rewriting their definitions in terms of unbounded twisted complexes. We develop new notions of strong…
Dendroidal sets offer a formalism for the study of $\infty$-operads akin to the formalism of $\infty$-categories by means of simplicial sets. We present here an account of the current state of the theory while placing it in the context of…
Motivated by recent developments of $\infty$-categorical theories related to differential graded (dg for short) Lie algebras, we develop a general framework for locally finite $\infty$-$\mathfrak{g}$-modules over a dg Lie algebra…
A new approach to the analysis of the physical state space of a theory is presented within the general setting of local quantum physics. It also covers theories with long range forces, such as Quantum Electrodynamics. Making use of the…
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…
We introduce basic notions in category theory to type theorists, including comprehension categories, categories with attributes, contextual categories, type categories, and categories with families along with additional discussions that are…
We construct a cubical analogue of the rigidification functor from quasi-categories to simplicial categories present in the work of Joyal and Lurie. We define a functor from the category of cubical sets of Doherty-Kapulkin-Lindsey-Sattler…
In this paper, we use basic formal variable techniques to study certain categories of modules for the toroidal Lie algebra $\tau$. More specifically, we define and study two categories $\mathcal{E}_{\tau}$ and $\mathcal{C}_{\tau}$ of…
This thesis provides an introduction to the various category theory ideas employed in topological quantum field theory. These theories are viewed as symmetric monoidal functors from topological cobordism categories into the category of…
We do three things in this paper: (1) study the analog of localization sequences (in the sense of algebraic $K$-theory of stable $\infty$-categories) for additive $\infty$-categories, (2) define the notion of nilpotent extensions for…
This book is an introduction to 2-categories and bicategories, assuming only the most elementary aspects of category theory. A review of basic category theory is followed by a systematic discussion of 2-/bicategories, pasting diagrams, lax…
We develop Weiss's manifold calculus in the setting of $\infty$-categories, where we allow the target $\infty$-category to be any $\infty$-category with small limits. We will establish the connection between polynomial functors, Kan…
We give a presentation of Feynman categories from a representation--theoretical viewpoint. Feynman categories are a special type of monoidal categories and their representations are monoidal functors. They can be viewed as a far reaching…
The goal of this paper is to develop a theory of join and slices for strict $\infty$-categories. To any pair of strict $\infty$-categories, we associate a third one that we call their join. This operation is compatible with the usual join…
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…
The aim of this paper is to reformulate the theory of unbounded derived categories, including more recent categories of first and second kind, using the language of $(\infty,1)$-categories.
In this work we propose a realization of Lurie's prediction that inner fibrations $p: X \rightarrow A$ are classified by $A$-indexed diagrams in a ``higher category" whose objects are $\infty$-categories, morphisms are correspondences…