Related papers: Nerves and cones of free loop-free {\omega}-catego…
We construct a model structure on the category of ordered simplicial complexes, Quillen equivalent to the standard model structure on simplicial sets. This shows that simplicial complexes, which are fully combinatorial in nature, provide a…
The category of learners has a pleasant symmetric formulation when the morphisms are considered up to a coarser equivalence than the one originally described in the paper "Backprop as Functor". A quotient of this modified category gives a…
In this paper we study the homotopy type of the partially ordered set of left cosets of abelian subgroups in an extraspecial $p$-group. We prove that the universal cover of its nerve is homotopy equivalent to a wedge of $r$-spheres where…
In this note we consider partial model categories, by which we mean relative categories that satisfy a weakened version of the model category axioms involving only the weak equivalences. More precisely, a partial model category will be a…
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…
This paper introduces homotopic nerve complexes in a planar Whitehead CW space and their Rotman free group presentations. Nerve complexes were introduced by P.S. Alexandrov during the 1930s and recently given a formal structure from a…
The basic data for a skew-monoidal category are the same as for a monoidal category, except that the constraint morphisms are no longer required to be invertible. The constraints are given a specific orientation and satisfy Mac Lane's five…
We provide a recursive construction of an acyclic matching (also known as a gradient vector field, an equivalent notion to a discrete Morse function) on the independence complex of a graph with a simplicial vertex using given acyclic…
We show that the free construction from multicategories to permutative categories is a categorically-enriched non-symmetric multifunctor. Our main result then shows that the induced functor between categories of algebras is an equivalence…
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 prove, under mild assumptions, that a Quillen equivalence between symmetric monoidal model categories gives rise to a Quillen equivalence between their model categories of (non-symmetric) operads, and also between model categories of…
It is known that a countable $\omega$-categorical structure interprets all finite structures primitively positively if and only if its polymorphism clone maps to the clone of projections on a two-element set via a continuous clone…
We establish a large class of homotopy coherent Morita-equivalences of Dold-Kan type relating diagrams with values in any weakly idempotent complete additive $\infty$-category; the guiding example is an $\infty$-categorical Dold-Kan…
We define a naturality construction for the operations of weak omega-categories, as a meta-operation in a dependent type theory. Our construction has a geometrical motivation as a local tensor product with a directed interval, and behaves…
We analyse omega-categorical precompact expansions of particular omega-categorical structures from the viewpoint of amenability of their automorphism groups. The main result of the paper corrects and simplifies Section 3.2 of the first…
In this paper, we prove that the DG category of DG complex of DG category of a differential graded algebra A is homotopy equivalent to that of comodules over the simplicial bar complex of A. Under the assuption of connectedness of A, we…
We construct a category equivalent to the category $\mathbf{Mon}$ of monoids and monoid homomorphisms, based on categories with strict factorization systems. This equivalence is then extended to the category $\mathbf{Mon_s}$ of unital…
The category of (colored) props is an enhancement of the category of colored operads, and thus of the category of small categories. In this paper, the second in a series on "higher props," we show that the category of all small colored…
We show that a homotopy equivalence between manifolds induces a correspondence between their spin^c-structures, even in the presence of 2-torsion. This is proved by generalizing spin^c-structures to Poincare complexes. A procedure is given…
The purpose of this paper is to show that various convolution products are fully homotopical, meaning that they preserve weak equivalences in both variables without any cofibrancy hypothesis. We establish this property for diagrams of…