Related papers: Mapping spaces in homotopy coherent nerves
We exhibit a Quillen equivalence between two model categories encoding the homotopy theory of stratified spaces : the model category of filtered simplicial sets, and that of filtered spaces. Additionally, we introduce a new class of…
This article shows several new methods for proofs on Kan complexes while using them to give a compact introduction to the homotopy groups of these complexes. Then more advanced objects are studied starting with homology and the Hurewicz…
We develop a homotopy theory of categories enriched in a monoidal model category V. In particular, we deal with homotopy weighted limits and colimits, and homotopy local presentability. The main result, which was known for…
We study whether inputs from the same class can be connected by a continuous path, in original or latent representation space, such that all points on the path are mapped by the neural network model to the same class. Understanding how the…
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…
In this paper we present the notion of smooth CW complexes given by attaching cubes on the category of diffeological spaces, and we study their smooth homotopy structures related to the homotopy extension property.
In this note, we show that the homotopy type of a complex manifold X satisfying the Oka property is captured by holomorphic maps from the affine spaces C^n, n\geq 0, into X. Among such X are all complex Lie groups and their homogeneous…
Results on the finiteness of induced crossed modules are proved both algebraically and topologically. Using the Van Kampen type theorem for the fundamental crossed module, applications are given to the 2-types of mapping cones of…
Motivated by the definition of homotopy $L_\infty$ spaces, we develop a new theory of Kuranishi manifolds, closely related to Joyce's recent theory. We prove that Kuranishi manifolds form a $2$-category with invertible $2$-morphisms, and…
We are presenting proofs of fundamental results related to homotopy idempotents, proofs that are sufficiently simple so that even the author can understand them. The first one is that homotopy idempotents in the category of pointed…
We show that there exists a unique possible definition, with certain natural properties, of the multiple point space of a holomorphic map between complex manifolds. Our construction coincides with the double point space and the k-th…
Recently discovered domain-specific formal systems -- specifically homotopy type theory and simplicial type theory -- provide new perspectives on spaces and categories in a natively equivalence-invariant setting. In this note, we expose…
We give an explicit description for the nerve of crossed module of categories.
Koschorke introduced a map from the space of closed $n$-component links to the ordered configuration space of $n$-tuples of points in $\mathbb{R}^3$, and conjectured that this map separates homotopy links. The purpose of this paper is to…
We describe the Whitehead products in the rational homotopy group of a connected component of a mapping space in terms of the Andr\'{e}-Quillen cohomology. As a consequence, an upper bound for the Whitehead length of a mapping space is…
The complement of the codimension 2 complex coordinate subspace arrangement is shown to be homotopy equivalent to a wedge of spheres.
This work contributes to clarifying several relationships between certain higher categorical structures and the homotopy type of their classifying spaces. Bicategories (in particular monoidal categories) have well understood simple…
The main results of this paper are: (1) If a space $X$ can be embedded as a cellular subspace of $\mathbb{R}^n$ then $X$ admits arbitrary fine open coverings whose nerves are homeomorphic to the $n$-dimensional cube $\mathbb{D}^n$; (2)…
The notion of $\times$-homotopy from \cite{DocHom} is investigated in the context of the category of pointed graphs. The main result is a long exact sequence that relates the higher homotopy groups of the space $\Hom_*(G,H)$ with the…
We give homotopy invariant definitions corresponding to three well known properties of complete intersections, for the ring, the module theory and the endomorphisms of the residue field, and we investigate them for the mod p cochains on a…