This is the first of two videos on Covering Spaces. I say what a covering map is, what morphisms between covering maps are, and describe the important path lifting property. There's a nice algebraic condition for the existence of a morphism between covers, which in turn leads to a simple picture of the category of covers over a fixed base space, when that base space has a universal cover.
