Related papers: Unique Path Lifting from Homotopy Point of View
We study a natural generalization of covering projections defined in terms of unique lifting properties. A map $p:E\to X$ has the "continuous path-covering property" if all paths in $X$ lift uniquely and continuously (rel. basepoint) with…
In this paper, we study h-fibrations, a weak homotopical version of fibrations which have weak covering homotopy property. We present some homotopical analogue of the notions related to fibrations and characterize h-fibrations using them.…
Given a path-connected space $X$ and $H\leq\pi_1(X,x_0)$, there is essentially only one construction of a map $p_H:(\widetilde{X}_H,\widetilde{x}_0)\rightarrow(X,x_0)$ with connected and locally path-connected domain that can possibly have…
Digital topology is part of the ongoing endeavour to understand and analyze digitized images. With a view to supporting this endeavour, many notions from algebraic topology have been introduced into the setting of digital topology. But some…
We show that Martin Hyland's effective topos can be exhibited as the homotopy category of a path category $\mathbb{EFF}$. Path categories are categories of fibrant objects in the sense of Brown satisfying two additional properties and as…
Local properties of the fundamental group of a path-connected topological space can pose obstructions to the applicability of covering space theory. A generalized covering map is a generalization of the classical notion of covering map…
Many of the properties of sectional category, topological complexity and homotopic distance are in fact derived from a small number of basic properties, which, once established, lead to all the others without further recourse to topology.…
We characterize the existence of horizontal path lifts for general connections on arbitrary fiber bundles with a new property that also gives fresh insight into linear and $G$-connections.
We undertake a systematic study of the notion of fibration in the setting of abstract simplicial complexes, where the concept of `homotopy' has been replaced by that of `contiguity'. Then a fibration will be a simplicial map satisfying the…
This article contains a noncommutative generalization of the topological path lifting problem. Noncommutative geometry has no paths and even points. However there are paths of *-automorphisms. It is proven that paths of *-automorphisms…
We analyze a general family of fibrations which, after looping, have sections. Methods are developed to determine the homotopy type of the fibre and the homotopy classes of the map from the fibre to the base. The methods are driven by…
We present a 2-dimensional Peano continuum $\mathbb{T}\subseteq \mathbb{R}^3$ with the following properties: (1) There is a universal covering projection $q:\overline{\mathbb{T}}\rightarrow \mathbb{T}$ with uncountable fundamental group…
A map $p:E\to X$ has the \emph{unique path lifting} property if every path in $X$, after a choice of an initial point, lifts uniquely to a path in $E$. We prove that if a group $G$ acts on an $\mathbb R$-tree $T$ such that the quotient map…
Homotopy type theory is a formal language for doing abstract homotopy theory -- the study of identifications. But in unmodified homotopy type theory, there is no way to say that these identifications come from identifying the path-connected…
We develop a homotopical framework for small categories that extends classical invarints of algebraic topology to the categorical setting. Our approach is based on the construction of genuine path category, obtained trough a localization…
Connections between homotopy theory and type theory have recently attracted a lot of attention, with Voevodsky's univalent foundations and the interpretation of Martin-Lof's identity types in Quillen model categories as some of the…
Methods are developed to relate the action of a principal fibration to relative Whitehead products in order to determine the homotopy type of certain spaces. The methods are applied to thoroughly analyze the homotopy type of the based loops…
We introduce the concept of parametrized homotopic distance, extending the classical notion of homotopic distance to the fibrewise setting. We establish its correspondence with the fibrewise sectional category of a specific fibrewise…
In this note we define fibrations of topological stacks and establish their main properties. We prove various standard results about fibrations (fiber homotopy exact sequence, Leray-Serre and Eilenberg-Moore spectral sequences, etc.). We…
We define a natural 2-categorical structure on the base category of a large class of Grothendieck fibrations. Given any model category $\mathbf{C}$, we apply this construction to a fibration whose fibers are the homotopy categories of the…