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)=(X:U)\times X\twoheadrightarrow Y$$

See also

Weakly-Initial Set of Covers