nLab
cover

Idea

Generally, for X an object we think of as a space, a cover of X is some other object Y together with a morphism π:YX, usually an epimorphism demanded to be well behaved in certain way.

The idea is that Y provides a “locally resolved” picture of X in that X and Y are “locally the same” but that Y is “more flexible” than X.

The archetypical example are ordinary covers of topological spaces X by open subsets {U i}: here Y is their disjoint union Y:= iU i.

More generally, you might need a cover to be family of maps (π i:Y iX) i; if the category has a coproducts that get along well with the covers, then you can replace these families with single maps as above.

Formalizations

There are several different but related formalizations of the notion of cover.