Commit 2025-11-25 21:01 dd7e527d
View on Github →feat(Homotopy/Lifting): monodromy of covering maps and lifting criterion (#22771) Define the monodromy of a covering map: given a path in the base space, lifting it through the covering map induces a bijection between the fibers at the two endpoints of the path. Definition 2.1 in https://ncatlab.org/nlab/show/monodromy.