Related papers: Basic Bicategories

Pronk's theorem on bicategories of fractions is applied, in almost all cases in the literature, to 2-categories of geometrically presentable stacks on a 1-site. We give an proof that subsumes all previous such results and which is purely…

Univalent categories constitute a well-behaved and useful notion of category in univalent foundations. The notion of univalence has subsequently been generalized to bicategories and other structures in (higher) category theory. Here, we…

For any essentially small triangulated category the centre of its lattice of thick subcategories is introduced; it is a spatial frame and yields a notion of central support. A relative version of this centre recovers the support theory for…

We prove a bicategorical analogue of Quillen's Theorem A. As an application, we deduce the well-known result that a pseudofunctor is a biequivalence if and only if it is essentially surjective on objects, essentially full on 1-cells, and…

The concept of n-categories and related subject is considered. An n-category is described as an n-graph with a composition. A new definition of operad is presented. Some illustrative examples are given.

We define a notion of "theory of (1,infty)-categories", and we prove that such a theory is unique up to equivalence.

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…

This is a companion overview paper to arXiv:2409.17489: we give all the main definitions, constructions and statements, but no proofs.

This is an account of the theory of inverse semigroups, assuming only that the reader knows the basics of semigroup theory.

A new categorical setting is defined in order to characterize the subrecursive classes belonging to complexity hierarchies. This is achieved by means of coercion functors over a symmetric monoidal category endowed with certain recursion…

We give a rough description of the 'categories' formed by quantum field theories. A few recent mathematical conjectures derived from quantum field theories, some of which are now proven theorems, will be presented in this language.

This text is an introduction to the study of NIP (or dependent) theories. It is meant to serve two purposes. The first is to present various aspects of NIP theories and give the reader the background material needed to understand almost any…

We propose a definition of double categories whose composition of 1-cells is weak in both directions. Namely, a doubly weak double category is a double computad -- a structure with 2-cells of all possible double-categorical shapes --…

This paper is a guide for the pure mathematician who would like to know more about cryptography based on group theory. The paper gives a brief overview of the subject, and provides pointers to good textbooks, key research papers and recent…

We introduce a 3-dimensional categorical structure which we call intercategory. This is a kind of weak triple category with three kinds of arrows, three kinds of 2-dimensional cells and one kind of 3-dimensional cells. In one dimension, the…

These course note first provide an introduction to secondary characteristic classes and differential cohomology. They continue with a presentation of a stable homotopy theoretic approach to the theory of differential extensions of…

In this paper we redevelop the foundations of the category theory of quasi-categories (also called infinity-categories) using 2-category theory. We show that Joyal's strict 2-category of quasi-categories admits certain weak 2-limits, among…

We explain some applications of bicategories in both classical and quantum field theory. This includes a modern perspective on some pioneering work of Max Kreuzer and Bert Schellekens on rational conformal field theory.

We define tilting subcategories in arbitrary exact categories to archieve the following. Firstly: Unify existing definitions of tilting subcategories to arbitrary exact categories. Discuss standard results for tilting subcategories:…

fc-multicategories are a very general kind of two-dimensional structure, encompassing bicategories, monoidal categories, double categories and ordinary multicategories. We define them and explain how they provide a natural setting for two…