## Notes on Covering Spaces as Extensions

This post assumes knowledge of fiber bundles, the group action functor, groupoids, and basic vector calculus. I am in the process of learning the topics discussed below, and I deeply appreciate constructive feedback.

#### How does a big space cover a little one?

Given a covering space $E \to B$ we can uniquely lift any path in the base space (once you choose a starting point) to a path in $E$. Conversely, we can create a covering space of $B$ by letting the fiber over $b$ be $F(b)$.