Related papers: Nerves and cones of free loop-free {\omega}-catego…
We establish an explicit comparison between two constructions in homotopy theory: the left adjoint of the homotopy coherent nerve functor, also known as the rigidification functor, and the Kan loop groupoid functor. This is achieved by…
Derived differential manifolds are constructed using the usual homotopy theory of simplicial rings of smooth functions. They are proved to be equivalent to derived differential manifolds of finite type, constructed using homotopy sheaves of…
In the previous part of this diptych, we defined the notion of an admissible simplicial connection, as well as explaining how H.I. Green constructed a resolution of coherent analytic sheaves by locally free sheaves on the \v{C}ech nerve.…
Many homotopy-coherent algebraic structures can be described by Segal-type limit conditions determined by an "algebraic pattern", bywhich we mean an $\infty$-category equipped with a factorization system and a collection of "elementary"…
In this paper, we examine the homotopy classes of positive loops in ${\rm Sp}(2n)$. We demonstrate that two positive loops are homotopic if and only if they are homotopic through positive loops. As consequences, we can extend several…
We show that the Snake on a square $SC(S^1)$ is homotopy equivalent to the space $AC(S^1)$ which was investigated in the previous work by Eda, Karimov and Repov\vs. We also introduce related constructions $CSC(-)$ and $CAC(-)$ and…
We give a short and streamlined proof of the following statement recently proven by the author and M. Zeinalian: the cobar construction of the dg coassociative coalgebra of normalized singular chains on a path-connected pointed space is…
We extend the free cornering of a symmetric monoidal category, a double categorical model of concurrent interaction, to support branching communication protocols and iterated communication protocols. We validate our constructions by showing…
We construct free monoids in a monoidal category with finite limits and countable colimits, in which tensoring on either side preserves reflexive coequalizers and colimits of countable chains.
The possible tensor constructions of open string theories are analyzed from first principles. To this end the algebraic framework of open string field theory is clarified, including the role of the homotopy associative A_\infty algebra, the…
We show that if a complex has free finitely generated reduced homology groups for two consecutive dimensions and trivial homology for all other dimensions, then it must have the homotopy type of a wedge of spheres of two consecutive…
The strict globular $\omega$-categories formalize the execution paths of a parallel automaton and the homotopies between them. One associates to such (and any) $\omega$-category $\C$ three homology theories. The first one is called the…
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…
We prove that the Seidel morphism of $(M \times M', \omega \oplus \omega')$ is naturally related to the Seidel morphisms of $(M,\omega)$ and $(M',\omega')$, when these manifolds are monotone. We deduce that any homotopy class of loops of…
We show that the independence complex of a chordal graph is contractible if and only if this complex is dismantlable (strong collapsible) and it is homotopy equivalent to a sphere if and only if its core is a cross-polytopal sphere. The…
It is known that the existence of localization with respect to an arbitrary (possibly proper) class of maps in the category of simplicial sets is implied by a large-cardinal axiom called Vopenka's principle.In this article we extend the…
A symmetric monoidal category is a category equipped with an associative and commutative (binary) product and an object which is the unit for the product. In fact, those properties only hold up to natural isomorphisms which satisfy some…
In this paper we study compact closed categories within the context of homotopical algebra. We construct two new model category structures by localizing two (Quillen equivalent) model categories of symmetric monoidal categories with the…
Given an open cover of a paracompact topological space X, there are two natural ways to construct a map from the cohomology of the nerve of the cover to the cohomology of X. One of them is based on a partition of unity, and is more…
Neurons in the visual cortex respond best to rod-like stimuli of given orientation. While the preferred orientation varies continuously across most of the cortex, there are prominent pinwheel centers around which all orientations a re…