Related papers: Nerves and cones of free loop-free {\omega}-catego…

We provide a new description of the hom functor on weak $\omega$-categories, and we show that it admits a left adjoint that we call the suspension functor. We then show that the hom functor preserves the property of being free on a…

This article considers proximal planar shapes in terms of the proximity of shape nerves and shape nerve complexes. A shape nerve is collection of 2-simplexes with nonempty intersection on a triangulated shape space. A planar shape is a…

It is shown that if T is a connected nontrivial graph and X is an arbitrary finite simplicial complex, then there is a graph G such that the complex Hom(T,G) is homotopy equivalent to X. The proof is constructive, and uses a nerve lemma.…

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 nerve complex of n arcs in the circle is homotopy equivalent to either a point, an odd-dimensional sphere, or a wedge sum of spheres of the same even dimension. Moreover this homotopy type can be computed in time O(n log…

For a small simplicial category A, we prove that the homotopy colimit functor from the category of simplicial diagrams on A to the category of simplicial sets over the homotopy-coherent nerve of A provides a left Quillen equivalence between…

The aim of this paper is to prove that the A$_{\infty}$-nerve of two quasi-equivalent A$_{\infty}$-categories (linear over a commutative ring) are weak-equivalent in the Joyal model structure. As a consequence we prove that the…

One can associate to any strict globular $\omega$-category three augmented simplicial nerves called the globular nerve, the branching and the merging semi-cubical nerves. If this strict globular $\omega$-category is freely generated by a…

For most models of $(\infty,2)$-categories an embedding of the $\infty$-category of 2-categories into that of $(\infty,2)$-categories has been constructed in the form of a nerve construction of some flavor. We prove that all those nerve…

We construct a nerve functor parametrized by a choice of quantale, exhibiting both the Vietoris-Rips complex and the magnitude nerve as instances of this nerve for different choices of monoidal structure on $\mathbb{R}$. Furthermore, the…

We describe a Cat-valued nerve of bicategories, which associates to every bicategory a simplicial object in Cat, called the 2-nerve. We define a 2-category NHom whose objects are bicategories and whose 1-cells are normal homomorphisms of…

Thomason's Homotopy Colimit Theorem has been extended to bicategories and this extension can be adapted, through the delooping principle, to a corresponding theorem for diagrams of monoidal categories. In this version, we show that the…

For a small category A, we prove that the homotopy colimit functor from the category of simplicial diagrams on A to the category of simplicial sets over the nerve of A establishes a left Quillen equivalence between the projective (or Reedy)…

We prove that the topological flow category $\mathcal{M}$ arising from a Morse-Smale pair $(f,\xi)$ on a smooth closed manifold $X$ is equivalent, as an $\infty$-category, to Lurie's $\infty$-category $\mathrm{Sing}_A(X)$ of exit paths in…

In this paper we introduce a functor, called the simplicial nerve of an A-infinity category, defined on the category of (small) A-infinity categories with values in simplicial sets. We prove that the simplicial nerve of any A-infinity…

An analogous construction of simplicial homotopy group for Kan complex can be applied to saturated complicial sets to give monoids. In this paper, we investigate how the construction of loop spaces of Kan complexes lifts to the complicial…

We prove properness of (co)Cartesian fibrations as well as a straightening and unstraightening equivalence, which is compatible with cartesian products, when the base is the nerve of a small category.

We construct a cofibrantly generated Quillen model structure on the category of small n-fold categories and prove that it is Quillen equivalent to the standard model structure on the category of simplicial sets. An n-fold functor is a weak…

In this note on coarse geometry we revisit coarse homotopy. We prove that coarse homotopy indeed is an equivalence relation, and this in the most general context of abstract coarse structures. We introduce (in a geometric way) coarse…

For any category ${\mathcal E}$ and monad $T$ thereon, we introduce the notion of $T$-simplicial object in ${\mathcal E}$. Any $T$-category in the sense of Burroni induces a $T$-simplicial object as its nerve. This nerve construction…