Related papers: Classifying covering types in homotopy type theory
In this paper we look at the notion of cohomological triviality of fibrations of homogeneous spaces of affine algebraic groups defined over $\mathbb{C}$ and use topological methods, primarily the theory of covering spaces. This is made…
Directed Algebraic Topology is beginning to emerge from various applications. The basic structure we shall use for such a theory, a 'd-space', is a topological space equipped with a family of 'directed paths', closed under some operations.…
This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…
We describe a homotopy-theoretic approach to the theory of moduli of realizations of Blanc-Dwyer-Goerss, reproducing their obstructions to realizing a given $\Pi$-algebra as homotopy groups of a pointed space. Our techniques are based on…
After introducing some motivations for this survey, we describe a formalism to parametrize a wide class of algebraic structures occurring naturally in various problems of topology, geometry and mathematical physics. This allows us to define…
In this paper we devote to spaces that are not homotopically hausdorff and study their covering spaces. We introduce the notion of small covering and prove that every small covering of $X$ is the universal covering in categorical sense.…
We compute the homotopy type of the space of proper d-dimensional submanifolds of ${\mathbb R}^n$ with a smooth version of the Fell topology. Our methods allow us to compute the homotopy type of the space of submanifolds with summable…
This is a survey. The main subject of this survey is the homotopical or homological nature of certain structures which appear in classical problems about groups, Lie rings and group rings. It is well known that the (generalized) dimension…
This note extends Quillen's Theorem A to a large class of categories internal to topological spaces. This allows us to show that under a mild condition a fully faithful and essentially surjective functor between such topological categories…
Given a commutative ring $R$, a $\pi_1$-$R$-equivalence is a continuous map of spaces inducing an isomorphism on fundamental groups and an $R$-homology equivalence between universal covers. When $R$ is an algebraically closed field, Raptis…
Given a topological group G, its orbit category Orb_G has the transitive G-spaces G/H as objects and the G-equivariant maps between them as morphisms. A well known theorem of Elmendorf then states that the category of G-spaces and the…
This paper provides an extensive study of the homotopy theory of types of algebras with units, like unital associative algebras or unital commutative algebras for instance. To this purpose, we endow the Koszul dual category of curved…
Recently there has been growing interest in discrete homotopies and homotopies of graphs beyond treating graphs as 1-dimensional simplicial spaces. One such type of homotopy is $\times$-homotopy. Recent work by Chih-Scull has developed a…
Since Quillen proved his famous equivalences of homotopy categories in 1969, much work has been done towards classifying the rational homotopy types of simply connected topological places. The majority of this work has focused on rational…
In this paper, we study the covering theory of laura algebras. We prove that if a connected laura algebra is standard (that is, it is not quasi-tilted of canonical type and its connecting components are standard), then this algebra has nice…
Category theory provides a means through which many far-ranging fields of mathematics can be related by their similar structure. In a paper by Robinson [2], this interconnectivity afforded by categorical perspectives allowed for the…
The space of orientation-compatible almost complex structures on the six-dimensional sphere naturally contains a copy of seven-dimensional real projective space. We show that the inclusion induces an isomorphism on fundamental groups and…
We relate two different proposals to extend the \'etale topology into homotopy theory, namely via the notion of finite cover introduced by Mathew and via the notion of separable commutative algebra introduced by Balmer. We show that finite…
This is an introduction to the study of abstract homotopy theory by means of model categories and $(\infty,1)$-categories. The only prerequisites are very basic general topology and abstract algebra. None categorical background is needed.…
We introduce the homotopy surface category of a space which generalizes the 1+1-dimensional cobordism category of circles and surfaces to the situation where one introduces a background space. We explain how for a simply connected…