« Home

Definition. point-surjective [math-000A]

A morphism AϕBA \xrightarrow{\phi} B is point-surjective iff for every point 1qB1 \xrightarrow{q} B , there exists a point 1pA1 \xrightarrow{p} A that lifts qq (satisfy ϕp=q\phi \circ p = q ).