Related papers: Simplicial nerve of an A-infinity category

This is a sequel to a previous paper, developing an intrinsic, combinatorial homotopy theory for simplicial complexes; the latter form the cartesian closed subcategory of 'simple presheaves' in !Smp, the topos of symmetric simplicial sets,…

We construct a cubical analogue of the rigidification functor from quasi-categories to simplicial categories present in the work of Joyal and Lurie. We define a functor from the category of cubical sets of Doherty-Kapulkin-Lindsey-Sattler…

For any topological bicategory B, the Duskin nerve NB of B is a simplicial space. We introduce the classifying topos BB of B as the Deligne topos of sheaves Sh(NB) on the simplicial space NB. It is shown that the category of geometric…

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 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…

The configuration category of a manifold is a topological category which we view as a Segal space, via the nerve construction. Our main result is that the unordered configuration category, suitably truncated, admits a finite presentation as…

It is well known that "Fukaya category" is in fact an $A_{\infty}$-pre-category in sense of Kontsevich and Soibelman \cite{KS}. The reason is that in general the morphism spaces are defined only for transversal pairs of Lagrangians, and…

In this paper we construct a symmetric monoidal closed model category of coherently commutative monoidal categories. The main aim of this paper is to establish a Quillen equivalence between a model category of coherently commutative…

Let $I$ be a small category with finite dimensional nerve, and $X\colon I\to Cat$ a diagram of small categories. We show that, under a "Reedy quasi-fibrancy condition", the homotopy limit of the geometric realization of $X$ is itself the…

In strictly factorisable operadic categories, every morphism $f$ factors uniquely as $f=\eta_f \circ \pi_f$ where $\eta_f$ is order-preserving and $\pi_f$ is a quasi\-bijection that is order-preserving on the fibres of $\eta_f$. We call it…

We identify the exit path $\infty$-category of the reductive Borel-Serre compactification as the nerve of a $1$-category defined purely in terms of rational parabolic subgroups and their unipotent radicals. As an immediate consequence, we…

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…

We construct models for the motivic homotopy category based on simplicial functors from smooth schemes over a field to simplicial sets. These spaces are homotopy invariant and therefore one does not have to invert the affine line in order…

We construct a symmetric monoidal closed category of polynomial endofunctors (as objects) and simulation cells (as morphisms). This structure is defined using universal properties without reference to representing polynomial diagrams and is…

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…

We discuss various concepts of $\infty$-homotopies, as well as the relations between them (focussing on the Leibniz type). In particular $\infty$-$n$-homotopies appear as the $n$-simplices of the nerve of a complete Lie ${\infty}$-algebra.…

We present a combinatorial analogue of the nerve theorem for covers of small categories, using the Grothendieck construction. We apply our result to prove the inclusion-exclusion principle for the Euler characteristic of a finite category.

We give a new construction of the Joyal model structure on the category of simplicial sets, and we provide a simple characterization of the fibrations in it. We characterize the inner anodyne maps in terms of categorical equivalences and…

We develop a theory of curved A-infinity-categories around equivalences of their module categories. This allows for a uniform treatment of curved and uncurved A-infinity-categories which generalizes the classical theory of uncurved…

It is shown that the cubical nerve of a strict omega-category is a sequence of sets with cubical face operations and distinguished subclasses of thin elements satisfying certain thin filler conditions. It is also shown that a sequence of…