Related papers: Quasi-Categories vs. Segal Spaces: Cartesian Editi…
We give a classification of all quasitriangular structures and ribbon elements of $\mathcal{D}(G)$ explicitly in terms of group homomorphisms and central subgroups. This can equivalently be interpreted as an explicit description of all…
We give a new construction of the Joyal model structure on the category of simplicial sets, and we provide a simple characterization of the fibrations in it. We characterize the inner anodyne maps in terms of categorical equivalences and…
Let X be a projective manifold containing a quasi-line l. An important difference between quasi-lines and lines in the projective space is that in general there is more than one quasi-line passing through two given general points. In this…
Generalizing a result of Dwyer and Kan for simplicial categories, we characterize the morphisms of multi-sorted simplicial algebraic theories and simplicial coloured operads which induce a Quillen equivalence between the corresponding…
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…
In this paper, we define a generalization of indexed categories and contextual categories which we call contextually indexed (contextual) categories. While contextual categories are models of ordinary type theories, contextually indexed…
We give a homotopy theoretic characterization of stacks on a site $\cC$ as the {\it homotopy sheaves} of groupoids on $\cC$. We use this characterization to construct a model category in which stacks are the fibrant objects. We compare…
In this article we use the homological methods of the theory of quasi-abelian categories and some results from functional analysis to prove Theorems A and B for (a broad sub-class of) dagger quasi-Stein spaces. In particular we show how to…
We establish that a category of fibrant objects (in the sense of Brown) admits a Dwyer-Kan homotopical calculus of right fractions. This is done using a homotopical calculus of cocycles, which is an auxiliary structure that can be defined…
The homotopy coherent nerve from simplicial categories to simplicial sets and its left adjoint C are important to the study of (infinity,1)-categories because they provide a means for comparing two models of their respective homotopy…
Similar to linear spaces, many examples of quasilinear spaces have a notion of multiplication of the elements. To characterising these examples, in the present paper we generalize the notion of quasilinear spaces and introduce…
We develop a categorical framework for reasoning about abstract properties of differentiation, based on the theory of fibrations. Our work encompasses the first-order fragments of several existing categorical structures for differentiation,…
We define a new notion of an algebraic model structure, in which the cofibrations and fibrations are retracts of coalgebras for comonads and algebras for monads, and prove "algebraic" analogs of classical results. Using a modified version…
Equivariant $\Gamma$-spaces model equivariant infinite loop spaces. In this article, we show that there exists a connective Quillen equivalence between the category of equivariant $\Gamma$-spaces and the category of orthogonal spectra.
We show that a map between fibrant objects in a closed model category is a weak equivalence if and only if it has the right homotopy extension lifting property with respect to all cofibrations. The dual statement holds for maps between…
We generalize the small object argument in order to allow for its application to proper classes of maps (as opposed to sets of maps in Quillen's small object argument). The necessity of such a generalization arose with appearance of several…
We define Cayley structures as a field of Cayley's ruled cubic surfaces over a four dimensional manifold and motivate their study by showing their similarity to indefinite conformal structures and their link to differential equations. In…
Quillen showed that simplicial sets form a model category (with appropriate choices of three classes of morphisms), which organized the homotopy theory of simplicial sets. His proof is very difficult and uses even the classification theory…
In this paper we propose an approach to homotopical algebra where the basic ingredient is a category with two classes of distinguished morphisms: strong and weak equivalences. These data determine the cofibrant objects by an extension…
We show that in the category of analytic sheaves on a complex analytic space, the full subcategory of quasi-coherent sheaves is an abelian subcategory.