Related papers: Strict 2-toposes

We provide concrete models for generalized morphisms and Morita equivalences of topological 2-groupoids by introducing the notions of crossings and crossed extensions of groupoid crossed modules. A systematic study of these objects is…

We give a simple algebraic description of opetopes in terms of chain complexes, and we show how this description is related to combinatorial descriptions in terms of treelike structures. More generally, we show that the chain complexes…

Abstract inner automorphisms can be used to promote any category into a 2-category, and we study two-dimensional limits and colimits in the resulting 2-categories. Existing connected colimits and limits in the starting category become…

Topos properties of the category of covering groupoids over a fixed groupoid are discussed. A classification result for connected covering groupoids over a fixed groupoid analogous to the fundamental theorem of Galois theory is given.

A categorical formalism is introduced for studying various features of the symplectic geometry of Lefschetz fibrations and the algebraic geometry of Tyurin degenerations. This approach is informed by homological mirror symmetry, derived…

This note is the sequel of "Geometric structures as variational objects, I." It generalizes the main result and perspectives of that work to a class of geometric structures that includes integrable almost-complex structures.

In previous work, we introduce an axiomatic framework within which to prove theorems about many varieties of infinite-dimensional categories simultaneously. In this paper, we establish criteria implying that an $\infty$-category - for…

Properties of toposes of right $M$-sets are studied, and these toposes are characterised up to equivalence by their canonical points. The solution to the corresponding Morita equivalence problem is presented in the form of an equivalence…

We systematically investigate morphisms and equivalences of toposes from multiple points of view. We establish a dual adjunction between morphisms and comorphisms of sites, introduce the notion of weak morphism of toposes and characterize…

We introduce group-theoretical fusion 2-categories, a strong categorification of the notion of a group-theoretical fusion 1-category. Physically speaking, such fusion 2-categories arise by gauging subgroups of a global symmetry. We show…

We demonstrate equivalence between two definitions of lower finite highest weight categories. We also show that, in the presence of a duality, a lower finite highest weight structure on a category is unique. Finally, we give a new proof for…

This paper is the fourth in a series whose goal is to develop a fundamentally new way of building theories of physics. The motivation comes from a desire to address certain deep issues that arise in the quantum theory of gravity. Our basic…

We use the complete Segal approach to the theory of Cartesian fibrations to define and study representable Cartesian fibrations, generalizing representable right fibrations which have played a key role in $\infty$-category theory. In…

This paper shows how internal models for polymorphic lambda calculi arise in any 2-category with a notion of discreteness. We generalise to a 2-categorical setting the famous theorem of Peter Freyd saying that there are no sufficiently…

In this paper, we address the construction of homotopy bicategories of $(\infty,2)$-categories, which we take as being modeled by 2-fold Segal spaces. Our main result is the concrete construction of a functor $h_2$ from the category of…

This short expository text is for readers who are confident in basic category theory but know little or nothing about toposes. It is based on some impromptu talks given to a small group of category theorists.

This text is dedicated to the development of the theory of $(\infty,\omega)$-categories. We present generalizations of standard results from category theory, such as the lax Grothendieck construction, the Yoneda lemma, lax (co)limits and…

The category of small 2-categories has two monoidal structures due to John Gray: one biclosed and one closed. We propose a formalisation of the construction of the right internal and internal homs of these monoidal structures.

In this paper we introduce and investigate the notions of diagrams and discrete extensions in the study of finitary $2$-representations of finitary $2$-categories.

The behaviour of limits of weak morphisms in 2-dimensional universal algebra is not 2-categorical in that, to fully express the behaviour that occurs, one needs to be able to quantify over strict morphisms amongst the weaker kinds.…