Related papers: Unique Path Lifting from Homotopy Point of View

This paper develops a basic theory of H-groups. We introduce a special quotient of H-groups and extend some algebraic constructions of topological groups to the category of H-groups and H-maps. We use these constructions to prove some…

Homotopy comomentum maps are a higher generalization of the notion of moment map introduced to extend the concept of Hamiltonian actions to the framework of multisymplectic geometry. Loosely speaking, higher means passing from considering…

We introduce and develop the notion of *displayed categories*. A displayed category over a category C is equivalent to "a category D and functor F : D --> C", but instead of having a single collection of "objects of D" with a map to the…

We develop parallel transport on path spaces from a differential geometric approach, whose integral version connects with the category theoretic approach. In the framework of 2-connections, our approach leads to further development of…

This paper contains some contributions to the study of the relationship between 2-categories and the homotopy types of their classifying spaces. Mainly, generalizations are given of both Quillen's Theorem B and Thomason's Homotopy Colimit…

We prove a structural result concerning the exit path category associated to a manifold $M$ equipped with a smooth action of a finite group $G$. Specifically, the functor $\Pi: \mathsf{Exit}(M) \rightarrow \mathsf{Exit}(M/G)$ is a right…

We give a short, mostly elementary and self-contained proof of the classical result that the groups of diffeomorphisms, homeomorphisms, and homotopy equivalences of a surface have the same group of connected components.

We define notions of direct and inverse limits in an $n$-category. We prove that the $n+1$-category $nCAT'$ of fibrant $n$-categories admits direct and inverse limits. At the end we speculate (without proofs) on some applications of the…

The intended model of the homotopy type theories used in Univalent Foundations is the infinity-category of homotopy types, also known as infinity-groupoids. The problem of higher structures is that of constructing the homotopy types needed…

We introduce a notion of globular multicategory with homomorphism types. These structures arise when organizing collections of "higher category-like" objects such as type theories with identity types. We show how these globular…

We propose a new approach to crystalline cohomology based on the observation that one can lift smooth algebras uniquely "up to coherent homotopy."

We introduce a homotopy theory of digraphs (directed graphs) and prove its basic properties, including the relations to the homology theory of digraphs constructed by the authors in previous papers. In particular, we prove the homotopy…

In this note we study the homotopy type of the complement of a plane projective curve of fiber-type. Roughly speaking, a curve of fiber-type is a finite union of fibers of a pencil. Under some restrictions, a full description of their…

If P \to X is a topological principal K-bundle and \hat K a central extension of K by Z, then there is a natural obstruction class \delta_1(P) in \check H^2(X,\uline Z) in sheaf cohomology whose vanishing is equivalent to the existence of a…

Cofibration categories are a formalization of homotopy theory useful for dealing with homotopy colimits that exist on the level of models as colimits of cofibrant diagrams. In this paper, we deal with their enriched version. Our main result…

In this article, we discuss some properties of holomorphic fibrations in the complex analytic setting.

The aim of this article is to explain a philosophy for applying higher dimensional Seifert-van Kampen Theorems, and how the use of groupoids and strict higher groupoids resolves some foundational anomalies in algebraic topology at the…

We show that basic homotopical notions such as homotopy sets and groups, connected and truncated maps, cellular constructions and skeleta, etc., extend to the setting of $(\infty,\infty)$-categories, as well as to presentable categories…

In these notes the epitopological and pseudotopological fundamental group functors are introduced. These are functors from the category of pointed epitopological and pseudotopological spaces respectively, to the category of their respective…

We consider the topology for a class of hypersurfaces with highly nonisolated singularites which arise as exceptional orbit varieties of a special class of prehomogeneous vector spaces, which are representations of linear algebraic groups…