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.