Related papers: Cofibration and Model Category Structures for Disc…
We show that all homotopy $\mathbb{C}P^n$s, smooth closed manifolds with the oriented homotopy type of $\mathbb{C}P^n$, admit almost complex structures for $3 \leq n \leq 6$, and classify these structures by their Chern classes. Our methods…
The main objective of this paper is to show that the homotopy colimit of a diagram of quasi-categories and indexed by a small category is a localization of Lurie's higher Grothendieck construction of the diagram. We thereby generalize…
After explaining the importance of model categories in abstract homotopy theory, we provide concrete examples demonstrating that various categories of manifolds do not have all finite colimits, and hence cannot be model categories. We then…
We construct a category that classifies compact Hausdorff spaces by their shape and finite topological spaces by their weak homotopy type.
For a path-connected metric space $(X,d)$, the $n$-th homotopy group $\pi_n(X)$ inherits a natural pseudometric from the $n$-th iterated loop space with the uniform metric. This pseudometric gives $\pi_n(X)$ the structure of a topological…
Centers of categories capture the natural operations on their objects. Homotopy coherent centers are introduced here as an extension of this notion to categories with an associated homotopy theory. These centers can also be interpreted as…
We establish some upper and lower bounds of the rational topological complexity for certain classes of elliptic spaces. Our techniques permit us in particular to show that the rational topological complexity coincides with the dimension of…
This paper explores the relationship amongst the various simplicial and pseudo-simplicial objects characteristically associated to any bicategory C. It proves the fact that the geometric realizations of all of these possible candidate…
A cocycle category H(X,Y) is defined for objects X and Y in a model category, and it is shown that the set of morphisms [X,Y] is isomorphic to the set of path components of H(X,Y) provided the ambient model category is right proper and…
Among plenty of applications, low-dimensional homogeneous spaces appear in cosmological models as both, classical factor spaces of multidimensional geometry and minisuperspaces in canonical quantization. Here a new tool to restrict their…
Finite topological spaces are in bijective correspondence with preorders on finite sets. We undertake their study using combinatorial tools that have been developed to investigate general discrete structures. A particular emphasis will be…
Vietoris-Rips and degree Rips complexes are represented as homotopy types by their underlying posets of simplices, and basic homotopy stability theorems are recast in these terms. These homotopy types are viewed as systems (or functors),…
We study the homotopy theory of locally ordered spaces, that is manifolds with boundary whose charts are partially ordered in a compatible way. Their category is not particularly well-behaved with respect to colimits. However, this category…
The article is devoted to a structure of topological spaces related with topological quasigroups. Regular and complete spaces over topological quasigroups are studied. Separations and embeddings are also investigated for them. Their…
Let $G$ be a finite group acting on a small category $I$. We study functors $X \colon I \to \mathscr{C}$ equipped with families of compatible natural transformations that give a kind of generalized $G$-action on $X$. Such objects are called…
We use a version of Haboush's theorem over complete local Noetherian rings to prove faithfulness of the lifting for semisimple cosemisimple Hopf algebras and separable (braided, symmetric) fusion categories from characteristic $p$ to…
We give an alternative to Postnikov's homotopy classification of maps from 3-dimensional CW-complexes to homogeneous spaces G/H of Lie groups. It describes homotopy classes in terms of lifts to the group G and is suitable for extending the…
The structure space S(M) of a closed topological m-manifold M classifies bundles whose fibers are closed m-manifolds equipped with a homotopy equivalence to M. We construct a highly connected map from S(M) to a concoction of algebraic…
We introduce a model category of spaces based on the definable sets of an o-minimal expansion of a real closed field. As a model category, it resembles the category of topological spaces, but its underlying category is a coherent topos. We…
We algorithmically compute integral Eilenberg-MacLane homology of all semigroups of order at most $8$ and present some particular semigroups with notable classifying spaces, refuting conjectures of Nico. Along the way, we give an…