Abstract:This is the first in a series of papers devoted to foundations of topological stacks. We begin developing a homotopy theory for topological stacks along the lines of classical homotopy theory of topological spaces. In this paper we go as far as introducing the homotopy groups and establishing their basic properties. We also develop a Galois theory of covering spaces for a (locally connected semilocally 1-connected) topological stack. Built into the Galois theory is a method for determining the stacky structure (i.e., inertia groups) of covering stacks. As a consequence, we get for free a characterization of topological stacks that are quotients of topological spaces by discrete group actions. For example, this give a handy characterization of good orbifolds. Orbifolds, graphs of groups, and complexes of groups are examples of topological (Deligne-Mumford) stacks. We also show that any algebraic stack (of finite type over $\mathbb{C}$) gives rise to a topological stack. We also prove a Riemann Existence Theorem for stacks. In particular, the algebraic fundamental group of an algebraic stack over $\mathbb{C}$ is isomorphic to the profinite completion of the fundamental group of its underlying topological stack. The next paper in the series concerns function stacks (in particular loop stacks) and fibrations of topological stacks. This is the first in a series of papers devoted to foundations of topological stacks.

Stack Representation of Finitely Presented Heyting Pretoposes I

Stacks similar to the stack of perverse sheaves

A Representability Theorem for Stacks in Derived Geometry Contexts

2-stacks over bisites

Stacks associated to abelian tensor categories

Descente pour les n-champs (Descent for n-stacks)

Characterizing algebraic stacks

Notes characterising higher and derived stacks concretely

Stacks and sheaves of categories as fibrant objects

Compactly Generated Stacks: A Cartesian Closed Theory of Topological Stacks

Generalized principal bundles and quotient stacks

Foundations of Topological Stacks I

Mapping stacks and categorical notions of properness

Rational motives on pro-algebraic stacks

A Topology on Points on Stacks

2-classifiers via dense generators and Hofmann-Streicher universe in stacks

Homotopy types of topological stacks of categories

A note on étale atlases for Artin stacks and Lie groupoids, Poisson structures and quantisation

Principal 2-bundles and quotient 2-stacks

Mapping stacks of topological stacks

Fuzzy Presheaves are Quasitoposes