相关论文: Double categorical model of $(\infty,1)$-categorie…
The purpose of this text is the study of the class of homotopy types which are modelized by strict \infty-groupoids. We show that the homotopy category of simply connected \infty-groupoids is equivalent to the derived category in…
We construct and study projective and Reedy model category structures for bimodules and infinitesimal bimodules over topological operads. Both model structures produce the same homotopy categories. For the model categories in question, we…
In this paper we construct a cofibrantly generated model category structure on the category of all small symmetric multicategories enriched in simplicial sets.
Like categories, small 2-categories have well-understood classifying spaces. In this paper, we deal with homotopy types represented by 2-diagrams of 2-categories. Our results extend to homotopy colimits of 2-functors lower categorical…
Theorem (after Giraud, SGA 4): Suppose $A$ is a simplicial category. The following conditions are equivalent: (i) There is a cofibrantly generated closed model category $M$ such that $A$ is equivalent to the Dwyer-Kan simplicial…
In this short note, we classify linear categorified open topological field theories in dimension two by pivotal Grothendieck-Verdier categories, a type of monoidal category equipped with a weak, not necessarily rigid duality. In combination…
We give describe several models for $(\infty,n)$-categories, with an emphasis on models given by diagrams of sets and simplicial sets. We look most closely at the cases when $n \leq 2$, then summarize methods of generalizing for all $n$.
We study the (\infty, 1)-category of autoequivalences of \infty-operads. Using techniques introduced by To\"en, Lurie, and Barwick and Schommer-Pries, we prove that this (\infty, 1)-category is a contractible \infty-groupoid. Our…
We construct a left semi-model structure on the category of intensional type theories (precisely, on $\mathrm{CxlCat_{Id,1,\Sigma(,\Pi_{ext})}}$). This presents an $\infty$-category of such type theories; we show moreover that there is an…
We use the terms "$\infty$-categories" and "$\infty$-functors" to mean the objects and morphisms in an "$\infty$-cosmos." Quasi-categories, Segal categories, complete Segal spaces, naturally marked simplicial sets, iterated complete Segal…
It is shown that the category of presheaves of simplicial groupoids and the category of presheaves of 2-groupoids have Quillen closed model structures. Furthermore, their homotopy categories are equivalent to the homotopy categories of…
In this paper we obtain several model structures on {\bf DblCat}, the category of small double categories. Our model structures have three sources. We first transfer across a categorification-nerve adjunction. Secondly, we view double…
We axiomatise the theory of $(\infty,n)$-categories. We prove that the space of theories of $(\infty,n)$-categories is a $B(\mathbb{Z}/2)^n$. We prove that Rezk's complete Segal $\Theta_n$-spaces, Simpson and Tamsamani's Segal…
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…
The goal of this paper is to address the problem of building a path object for the category of Grothendieck (weak) $\infty$-groupoids. This is the missing piece for a proof of Grothendieck's homotopy hypothesis. We show how to endow the…
This paper introduces the notion of weakly globular double categories, a particular class of strict double categories, as a way to model weak 2-categories; it explores its use in defining a double category of fractions, and shows that the…
This note extends Quillen's Theorem A to a large class of categories internal to topological spaces. This allows us to show that under a mild condition a fully faithful and essentially surjective functor between such topological categories…
We construct combinatorial model category structures on the categories of (marked) categories and (marked) pre-additive categories, and we characterize (marked) additive categories as fibrant objects in a Bousfield localization of…
We study Quillen model categories equipped with a monoidal skew closed structure that descends to a genuine monoidal closed structure on the homotopy category. Our examples are 2-categorical and include permutative categories and…
We produce a highly structured way of associating a simplicial category to a model category which improves on work of Dwyer and Kan and answers a question of Hovey. We show that model categories satisfying a certain axiom are Quillen…