Related papers: Free precategories as presheaf categories
The category of (colored) props is an enhancement of the category of colored operads, and thus of the category of small categories. The titular category has nice formal properties: it is bicomplete and is a symmetric monoidal category, with…
Working over an arbitrary field, we define compact semisimple 2-categories, and show that every compact semisimple 2-category is equivalent to the 2-category of separable module 1-categories over a finite semisimple tensor 1-category. Then,…
We develop the idea of a supersymmetric monoidal supercategory, following ideas of Kapranov. Roughly, this is a monoidal category in which the objects and morphisms are ${\bf Z}/2$-graded, equipped with isomorphisms $X \otimes Y \to Y…
Classification theory of elementary classes deals with first order (elementary) classes of structures (i.e. fixing a set T of first order sentences, we investigate the class of models of T with the elementary submodel notion). It tries to…
We show the analogue of the Serre-Swan theorem in a context of supergeometry. This theorem gives an equivalence of the category of locally free supersheaves of bounded rank over locally ringed superspace with the category of finitely…
The subject of this paper is the higher structure of the strictification adjunction, which relates the two fundamental bases of three-dimensional category theory: the $\mathbf{Gray}$-category of $2$-categories and the tricategory of…
In this note, we leverage the author's pasting theorem for $(\infty,n)$-categories to construct new models of $(\infty,n)$-categories for all $n \leq \infty$, as presheaves on certain categories of computads. Among these new models are some…
This article is intended as a reference guide to various notions of monoidal categories and their associated string diagrams. It is hoped that this will be useful not just to mathematicians, but also to physicists, computer scientists, and…
Relational structures are emerging as ubiquitous mathematical machinery in the semantics of open systems of various kinds. Cartesian bicategories are a well-known categorical algebra of relations that has proved especially useful in recent…
Many key invariants in the representation theory of classical groups (symmetric groups $S_n$, matrix groups $GL_n$, $O_n$, $Sp_{2n}$) are polynomials in $n$ (e.g., dimensions of irreducible representations). This allowed Deligne to extend…
This note informally describes a way to build certain cubical n-categories by iterating a process of taking models of certain finite limits theories. We base this discussion on a construction of "double bicategories" as bicategories…
Products in double categories, as found in cartesian double categories, are an elegant concept with numerous applications, yet also have a few puzzling aspects. In this paper, we revisit double-categorical products from an unbiased…
Presentations of categories are a well-known algebraic tool to provide descriptions of categories by means of generators, for objects and morphisms, and relations on morphisms. We generalize here this notion, in order to consider situations…
We classify the prelocalizing subcategories of the category of quasi-coherent sheaves on a locally noetherian scheme. In order to give the classification, we introduce the notion of a local filter of subobjects of the structure sheaf. The…
A restriction category is an abstract formulation for a category of partial maps, defined in terms of certain specified idempotents called the restriction idempotents. All categories of partial maps are restriction categories; conversely, a…
In order to apply nonstandard methods to modern algebraic geometry, as a first step in this paper we study the applications of nonstandard constructions to category theory. It turns out that many categorial properties are well behaved under…
In this paper we give a summary of the comparisons between different definitions of so-called (\infty,1)-categories, which are considered to be models for \infty-categories whose n-morphisms are all invertible for n>1. They are also, from…
The categorified theories known as "doctrines" specify a category equipped with extra structure, analogous to how ordinary theories specify a set with extra structure. We introduce a new framework for doctrines based on double category…
We review the definition of hypergroups by Sunder, and we associate a hypergroup to a type III subfactor $N\subset M$ of finite index, whose canonical endomorphism $\gamma\in\mathrm{End}(M)$ is multiplicity-free. It is realized by positive…
We introduce the notion of a quasi DG category, generalizing that of a DG category. To a quasi DG category satisfying certain additional conditions, we associate another quasi DG category, the quasi DG category of $C$-diagrams. We then show…