Related papers: $(\infty,n)$-categories in context

In the seminal work of Gaitsgory and Rozenblyum on derived algebraic geometry, eight conjectures regarding the theory of $(\infty,2)$-categories are stated. This paper aims to clarify the status of these claims, and to provide a proof for…

We propose a recursive definition of V-n-categories and their morphisms. We show that for V k-fold monoidal the structure of a (k-n)-fold monoidal strict (n+1)-category is possessed by V-n-Cat. This article is a completion of the work begun…

This is a partial derivative of \cite{MR94g:17044}. We give a list of examples/problems that some will find amusing.

We present some results on (co)limits of diagrams in $\infty$-categories, as well as those in $(n, 1)$-categories. In particular, we deduce a way to reshape colimit diagrams into simplicial ones, and a characterisations of $n$-cofinality…

This paper has two objectives. The first is to develop the theory of bicategories enriched in a monoidal bicategory -- categorifying the classical theory of categories enriched in a monoidal category -- up to a description of the free…

This article is an introduction to the basic generalized category theory used in recent work on an extension of the theory of categories and categorical logic, including parts of topos theory. We discuss functors, equivalences, natural…

$n$-exangulated categories were introduced by Herschend-Liu-Nakaoka which are a simultaneous generalization of $n$-exact categories and $(n+2)$-angulated categories. This paper consists of two results on $n$-exangulated categories: (1) we…

We present the notion of "cyclic double multicategory", as a structure in which to organise multivariable adjunctions and mates. The classic example of a 2-variable adjunction is the hom/tensor/cotensor trio of functors; we generalise this…

We investigate monoidal categories of formal contexts, in which states correspond to formal concepts. In particular we examine the category of bonds or Chu correspondences between contexts, which is known to be equivalent to 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…

The purpose of this dissertation is to set up a theory of generalized operads and multicategories, and to use it as a language in which to propose a definition of weak n-category. Included is a full explanation of why the proposed…

Categories, n-categories, double categories, and multicategories (among others) all have similar definitions as collections of cells with composition operations. We give an explicit description of the information required to define any…

We provide an $(\infty,n)$-categorical version of the straightening-unstraightening construction, asserting an equivalence between the $(\infty,n)$-category of double $(\infty,n-1)$-right fibrations over an $(\infty,n)$-category…

Both simplicial sets and simplicial spaces are used pervasively in homotopy theory as presentations of spaces, where in both cases we extract the "underlying space" by taking geometric realization. We have a good handle on the category of…

Many people have proposed definitions of `weak n-category'. Ten of them are presented here. Each definition is given in two pages, with a further two pages on what happens when n = 0, 1, or 2. The definitions can be read independently.…

Category theory provides a collective description of many arrangements in mathematics, such as topological spaces, Banach spaces and game theory. Within this collective description, the perspective from any individual member of the…

A moment category is endowed with a distinguished set of split idempotents, called moments, which can be transported along morphisms. Equivalently, a moment category is a category with an active/inert factorisation system fulfilling two…

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…

In the well-known settings of category theory enriched in a monoidal category V, the use of V-enriched functor categories and bifunctors demands that V be equipped with a symmetry, braiding, or duoidal structure. In this paper, we establish…

A relevant category is a symmetric monoidal closed category with a diagonal natural transformation that satisfies some coherence conditions. Every cartesian closed category is a relevant category in this sense. The denomination 'relevant'…