Related papers: Monoidal Pull-Push I: Cocartesian Fibrations and C…
We give a summary (without proofs) of the main results in the author's thesis entitled ``Construction of biclosed categories'' (University of New South Wales, Australia, 1970). This summary is reprinted directly from Report 81-0030 of the…
We study a non-pointed version of the notion of torsion theory in the framework of categories equipped with a posetal monocoreflective subcategory such that the coreflector inverts monomorphisms. We explore the connections of such torsion…
These notes are based on three lectures given at the 2013 CIME/CIRM summer school. The purpose of this series of lectures is to introduce the notion of a toric fibration and to give its geometrical and combinatorial characterizations.…
We prove properness of (co)Cartesian fibrations as well as a straightening and unstraightening equivalence, which is compatible with cartesian products, when the base is the nerve of a small category.
Reasoning about weak higher categorical structures constitutes a challenging task, even to the experts. One principal reason is that the language of set theory is not invariant under the weaker notions of equivalence at play, such as…
This is a large audience version of our previous work (see math.AG/0301146) in which we prove the existence of an (exact) equivalence between the category of coherent analytic sheaves and the category of $\bar{\partial}$-coherent sheaves.…
Grothendieck's theory of fibred categories establishes an equivalence between fibred categories and pseudo functors. It plays a major role in algebraic geometry and categorical logic. This paper aims to show that fibrations are also very…
We use fibrations of complete Segal spaces to construct four complete Segal spaces: Reedy fibrant simplicial spaces, Segal spaces, complete Segal spaces, and spaces. Moreover, we show each one comes with a universal fibration that…
We formulate a model-independent theory of co/cartesian morphisms and co/cartesian fibrations: that is, one which resides entirely *within the $\infty$-category of $\infty$-categories*. We prove this is suitably compatible with the…
We use the cobordism category constructed in arXiv:1703.01047 to the study the homotopy type of the space of positive scalar curvature metrics on a spin manifold of dimension > 4. Our methods give an alternative proof and extension of a…
The description of algebraic structure of n-fold loop spaces can be done either using the formalism of topological operads, or using variations of Segal's $\Gamma$-spaces. The formalism of topological operads generalises well to different…
We develop some concrete methods to build Sarkisov links, starting from Mori fibre spaces. This is done by studying low rank Cox rings and their properties. As part of this development, we give an algorithm to construct explicitly the…
The consolidation of suspended particulate matter under external forces such as pressure or gravity is of widespread interest. In this work, we derive a constitutive relation to describe the deformation of a {\it two-dimensional} strongly…
We lift the standard equivalence between fibrations and indexed categories to an equivalence between monoidal fibrations and monoidal indexed categories, namely weak monoidal pseudofunctors to the 2-category of categories. In doing so, we…
The main objective of this paper is to construct a symmetric monoidal closed model category of coherently commutative monoidal quasi-categories. We construct another model category structure whose fibrant objects are (essentially) those…
In this thesis, we develop the theory of bifibrations of polycategories. We start by studying how to express certain categorical structures as universal properties by generalising the shape of morphism. We call this phenomenon…
Many examples of obstruction theory can be formulated as the study of when a lift exists in a commutative square. Typically, one of the maps is a cofibration of some sort and the opposite map is a fibration, and there is a functorial…
We construct a monoidal version of Lurie's un/straightening equivalence. In more detail, for any symmetric monoidal $\infty$-category $\mathbf C$, we endow the $\infty$-category of coCartesian fibrations over $\mathbf C$ with a (naturally…
We give an alternate conception of string diagrams as labeled 1-dimensional oriented cobordisms, the operad of which we denote by Cob/O, where O is the set of string labels. The axioms of traced (symmetric monoidal) categories are fully…
Waldhausen's $S_\bullet$-construction gives a way to define the algebraic $K$-theory space of a category with cofibrations. Specifically, the $K$-theory space of a category with cofibrations $\mathcal{C}$ can be defined as the loop space of…