Title: The Fundamental Infinity-Groupoid of a Parametrized Family,
Abstract: Given an infinity-category C, one can naturally construct an
infinity-category Fam(C) of families of objects in C indexed by
infinity-groupoids. An ordinary categorical version of this construction was
used by Borceux and Janelidze in the study of generalized covering maps in
categorical Galois theory. In this paper, we develop the homotopy theory of
such "parametrized families" as generalization of the classical homotopy theory
of spaces. In particular, we study homotopy-theoretical constructions that
arise from the fundamental infinity-groupoids of families in an
infinity-category. In the same spirit, we show that Fam(C) admits a
Grothendieck topology which generalizes the canonical/epimorphism topology on
the infinity-topos of infinity-groupoids in the sense of Carchedi.