Cover of a Set

Idea

A cover is a bundle where every fibre is inhabited.

Definition

A cover of a set $Y$ is just a surjective map from another set $X$:

$$\mathrm{Cov}(Y)=\sum _{X:U}X\twoheadrightarrow Y$$

See also

Weakly-Initial Set of Covers