Zhaohua Luo 2.2. Normal Monos Definition 2.2.1. Suppose S is a set of maps to X . This shows that t is not disjoint with v . Hence v is unipotent.
Y are two unipotent maps.
Since f is a unipotent cover on X , t is not disjoint with f . This shows that f is unipotent. Suppose S and T are two sets of maps to Y . The pullbacks of normal monos are normal monos. Y are two normal monos.