Related papers: A 2-Categorical Analysis of the Tripos-to-Topos Co…
We give a description of the Tripos To Topos construction in terms of four free constructions. We prove that these compose up to give a free construction from the category of triposes and logical morphisms to the category of toposes and…
Categories of lenses/optics and Dialectica categories are both comprised of bidirectional morphisms of basically the same form. In this work we show how they can be considered a special case of an overarching fibrational construction,…
We investigate several categories related to transition structures, using a mixture of algebraic and topological methods. We show how two such categories are connected by a contravariant adjunction. This is the most detailed of a family of…
Localic and realizability toposes are two central classes of toposes in categorical logic, both arising through the Hyland-Johnstone-Pitts tripos-to-topos construction. We investigate their shared geometric features by providing an…
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…
A duoidal category is a category equipped with two monoidal structures in which one is (op)lax monoidal with respect to the other. In this paper we introduce duoidal $\infty$-categories which are counterparts of duoidal categories in the…
Optics and lenses are abstract categorical gadgets that model systems with bidirectional data flow. In this paper we observe that the denotational definition of optics - identifying two optics as equivalent by observing their behaviour from…
For a Whitney stratification S of a space X (or more generally a topological stratification in the sense of Goresky and MacPherson) we introduce the notion of an S-constructible stack of categories on X. The motivating example is the stack…
We want to replace categories, functors and natural transformations by categories, open functors and open natural transformations. In analogy with open dynamical systems, the adjective open is added here to mean that some external…
On objects of a triangulated category with a stability condition, we construct a topology.
This article gives an elementary and formal 2-categorical construction of a bicategory of right fractions analogous to anafunctors, starting from a 2-category equipped with a family of covering maps that are fully faithful and co-fully…
We describe a construction of topological orders from coupled lower dimensional symmetry-protected topological orders, which is closely related to gauging a subsystem symmetry. Our construction yields both conventional topological orders…
The fundamental bigroupoid of a topological space is one way of capturing its homotopy 2-type. When the space is semilocally 2-connected, one can lift the construction to a bigroupoid internal to the category of topological spaces, as Brown…
We generalise the usual notion of fibred category; first to fibred 2-categories and then to fibred bicategories. Fibred 2-categories correspond to 2-functors from a 2-category into 2-Cat. Fibred bicategories correspond to trihomomorphisms…
In this paper, we show that two constructions form stacks: Firstly, as one varies the $\infty$-topos, $\mathcal{X}$, Lurie's homotopy theory of higher categories internal to $\mathcal{X}$ varies in such a way as to form a stack over the…
A 2-categorical generalisation of elementary topos is provided and some of the properties of the yoneda structure it generates are explored. Examples relevant to the globular approach to higher category theory are discussed. This paper also…
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…
It is well known that to give an oplax functor of bicategories $\mathbf{1}\to\mathscr{C}$ is to give a comonad in $\mathscr{C}$. Here we generalize this fact, replacing the terminal bicategory by any bicategory $\mathscr{A}$ for which the…
A convenient bicategory of topological stacks is constructed which is both complete and Cartesian closed. This bicategory, called the bicategory of compactly generated stacks, is the analogue of classical topological stacks, but for a…
The category of compact Hausdorff spaces is the base of tripos. As such it can be freely completed to an elementary topos.