Related papers: A homotopy coherent cellular nerve for bicategorie…
The familiar construction of categories of fractions, due to Gabriel and Zisman, allows one to invert a class W of arrows in a category in a universal way. Similarly, bicategories of fractions allow one to invert a collection of arrows in a…
We develop a model structure on presheaves of small simplicially enriched categories on a site $\mathscr{C}$, for which the weak equivalences are 'stalkwise' weak equivalences for the Bergner model structure. This model structure is right…
In this paper, we investigate the Quillen model structure defined by Bisson and Tsemo in the category of directed graphs Gph. In particular, we give a precise description of the homotopy category of graphs associated to this model…
In this note we explain that homotopy coherent simplicial nerve has to used intead of the standard definition in the author's papers on formal deformation theory. A convenient version of the notion of fibered category is presented which is…
In this thesis I lift the Curry--Howard--Lambek correspondence between the simply-typed lambda calculus and cartesian closed categories to the bicategorical setting, then use the resulting type theory to prove a coherence result for…
We generalise the usual notion of fibred category; first to fibred 2-categories and then to fibred bicategories. Fibred 2-categories correspond to 2-functors from a 2-category into 2-Cat. Fibred bicategories correspond to trihomomorphisms…
Associated to each small category $C$, there is a category of $C$-shaped diagrams of simplicial sets and an $\infty$-category of $NC$-shaped homotopy coherent diagrams of spaces. We present a functor which exhibits the latter as the…
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…
Given a functor $\varphi : \mathcal{C} \to \mathcal{D}$ between two small categories, there is a homotopy equivalence $\kappa: hocolim _{\mathcal{D}} N(\varphi /-) \to N\mathcal{C}$ where $N(\varphi/-)$ is the functor which sends every…
This article tackles categorical coherence within a two-dimensional generalization of Lawvere's functorial semantics. 2-theories, a syntactical way of describing categories with structure, are presented. From the perspective here afforded,…
We construct a functor from the category of graphs to the category of groups which is faithful and "almost" full, in the sense that it induces bijections of the Hom sets up to trivial homomorphisms and conjugation in the category of groups.…
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 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…
We construct a new model structure on the category of dg presheaves over a topological space $X$, obtained through the right Bousfield localization of the local projective model structure. The motivation for this construction arises from…
We use the terms $\infty$-categories and $\infty$-functors to mean the objects and morphisms in an $\infty$-cosmos: a simplicially enriched category satisfying a few axioms, reminiscent of an enriched category of fibrant objects.…
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 study the *homotopy theory* of $\infty$-categories enriched in the $\infty$-category $sS$ of simplicial spaces. That is, we consider $sS$-enriched $\infty$-categories as presentations of ordinary $\infty$-categories by means of a "local"…
We show that the complicial nerve construction is homotopically compatible with two flavors of cone constructions when starting with an $\omega$-category that is suitably free and loop-free. An instance of the result recovers the fact that…
The general goal of this paper is to gather and review several methods from homotopy and combinatorial topology and formal concepts analysis (FCA) and analyze their connections. FCA appears naturally in the problem of combinatorial…
We show that the classification diagram of a relative $\infty$-category arising from a relative simplicial category is equivalent to the levelwise nerve. Applications include the comparison of the diagonal of the levelwise nerve and the…