Related papers: Fibrancy of Partial Model Categories

We show that there is a model structure in the sense of Quillen on an arbitrary Frobenius category $\F$ such that the homotopy category of this model structure is equivalent to the stable category $\underline{\F}$ as triangulated…

We classify the "quotients" of a tannakian category in which the objects of a tannakian subcategory become trivial, and we examine the properties of such quotient categories.

We provide a short and reasonably self-contained proof of Lurie's straightening equivalence, relating cartesian fibrations over a given $\infty$-category $S$ with contravariant functors from $S$ to the $\infty$-category of small…

While many different models for $(\infty,1)$-categories are currently being used, it is known that they are Quillen equivalent to one another. Several higher-order analogues of them are being developed as models for $(\infty,…

We present a doctrinal approach to category theory, obtained by abstracting from the indexed inclusions (via discrete fibrations and opfibrations) of the left and of the right actions of X in Cat in categories over X. Namely, a "weak…

This paper adresses two issues in dealing with bicategories of fractions. The first is to introduce a set of conditions on a class of arrows in a bicategory which is weaker than the one given in Pronk, Etendues and stacks as bicategories of…

We give an account, in terms of fibered categories and their fibrewise duals, of aspects of the theory of bundle functors and star-bundle functors in differential geometry.

We show that the main features of the pattern of fermion masses and mixing can be expressed in terms of simple relations among weak-basis invariants. In the quark sector, we identify the weak-basis invariants which signal the observed…

We define a model structure on the category GCat of small categories with an action by a finite group G by lifting the Thomason model structure on Cat. We show there is a Quillen equivalence between GCat with this model structure and GTop…

We describe a Quillen equivalence between quasi-categories and relative categories which is surprisingly similar to Thomason's Quillen equivalences between simplicial sets and categories.

We explore the structure of $\text{Fil}$, the category of filters and germs of admissible partial functions. In particular, we show that $\text{Fil}$ is a nonsymmetric closed category, as defined elsewhere by this and other authors.

We classify certain subcategories in quotients of exact categories. In particular, we classify the triangulated and thick subcategories of an algebraic triangulated category, i.e. the stable category of a Frobenius category.

We introduce a notion of n-quasi-categories as fibrant objects of a model category structure on presheaves on Joyal's n-cell category \Theta_n. Our definition comes from an idea of Cisinski and Joyal. However, we show that this idea has to…

We prove a correspondence between $\kappa$-small fibrations in simplicial presheaf categories equipped with the injective or projective model structure (and left Bousfield localizations thereof) and relatively $\kappa$-compact maps in their…

We introduce a model category of spaces based on the definable sets of an o-minimal expansion of a real closed field. As a model category, it resembles the category of topological spaces, but its underlying category is a coherent topos. We…

We prove a strong non-structure theorem for a class of metric structures with an unstable pair of formulae. As a consequence, we show that weak categoricity (that is, categoricity up to isomorphisms and not isometries) implies several…

Constructing and manipulating homotopy types from categorical input data has been an important theme in algebraic topology for decades. Every category gives rise to a `classifying space', the geometric realization of the nerve. Up to weak…

In this paper, we construct a model structure for $(\infty,1)$-categories on the category of simplicial spaces, whose fibrant objects are the Segal spaces. In particular, we show that it is Quillen equivalent to the models of…

In this note we show that in the simplicial setting, the classifying space construction converts short exact sequences of groups not just to homotopy fibrations, but in fact to fibre bundles.

In this paper we develop homotopy theoretical methods for studying diagrams. In particular we explain how to construct homotopy colimits and limits in an arbitrary model category. The key concept we introduce is that of a model…