Related papers: A Quillen model structure for bigroupoids and pseu…
In this paper we put a cofibrantly generated model category structure on the category of small simplicial categories. The weak equivalences are a simplicial analogue of the notion of equivalence of categories.
This is a continuation, completion, and generalization of our previous joint work with B. Chorny. We supply model structures and Quillen equivalences underlying Goodwillie's constructions on the homotopy level for functors between…
We present a way of constructing a Quillen model structure on a full subcategory of an elementary topos, starting with an interval object with connections and a certain dominance. The advantage of this method is that it does not require the…
We define a class of quandle-like structures called pseudoquandles and analyze some of their algebraic properties.
In this paper we construct a symmetric monoidal closed model category of coherently commutative Picard groupoids. We construct another model category structure on the category of (small) permutative categories whose fibrant objects are…
We show that the theory of derivators (or, more generally, of fibered multiderivators) on all small categories is equivalent to this theory on partially ordered sets, in the following sense: Every derivator (more generally, every fibered…
We introduce and study a notion of cylinder coherator similar to the notion of Grothendieck coherator which define more flexible notion of weak infinity groupoids. We show that each such cylinder coherator produces a combinatorial…
In this paper, we examine the relation between certain subclasses of the classes of Gorenstein projective, Gorenstein flat and Gorenstein injective modules over a group algebra, which consist of the cofibrant, cofibrant-flat and fibrant…
Complementing and extending the Inventiones work of Benson, Grodal, Henke [Group cohomology and control of p-fusion, Invent. Math. 197 (2014), 491--507] we give criteria for a space to have cohomology (strongly) F-isomorphic in the sense of…
We construct a model of type theory enjoying parametricity from an arbitrary one. A type in the new model is a semi-cubical type in the old one, illustrating the correspondence between parametricity and cubes. Our construction works not…
The multidimensional functional calculus of semigroup generators, based on the class of Bernstein functions in several variables is developed, the spectral mapping theorems for joint spectra have been stated, the condition for holomorphy of…
We define a cohomology for an arbitrary $K$-linear semistrict semigroupal 2-category $(\mathfrak{C},\otimes)$ (called in the paper a Gray semigroup) and show that its first order (unitary) deformations, up to the suitable notion of…
We categorify cocompleteness results of monad theory, in the context of pseudomonads. We first prove a general result establishing that, in any 2-category, weighted bicolimits can be constructed from oplax bicolimits and bicoequalizers of…
We approach Mackenzie's LA-groupoids from a supergeometric point of view by introducing Q-groupoids, which are groupoid objects in the category of Q-manifolds. There is a faithful functor from the category of LA-groupoids to the category of…
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…
We construct two model structures, whose fibrant objects capture the notions of discrete fibrations and of Grothendieck fibrations over a category $\mathcal{C}$. For the discrete case, we build a model structure on the slice…
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…
We establish a general method to produce cofibrant approximations in the model category $U_S(C,D)$ of $S$-valued $C$-indexed diagrams with $D$-weak equivalences and $D$-fibrations. We also present explicit examples of such approximations.…
Orthogonality in model theory captures the idea of absence of non-trivial interactions between definable sets. We introduce a somewhat opposite notion of cohesiveness, capturing the idea of interaction among all parts of a given definable…
Small B\'{e}nabou's bicategories and, in particular, Mac Lane's monoidal categories, have well-understood classifying spaces, which give geometric meaning to their cells. This paper contains some contributions to the study of the…