Category of Covers

Definition

The category of covers of $Y$ is given as:

• Objects are covers in $\mathrm{Cov}(Y)$
• $\mathrm{Hom}[(X,p),(Z,q)]=(f:X\to Z)\times q\circ f=p$

See also

Weakly-Initial Set of Covers