Definition: Descent

A function $F$ on $X$ descends through $q:X\to Y$ if there is a function $\overline{F}$ on $Y$ with

Equivalently, $F$ is constant on every fiber of $q$. Failure of this set-theoretic condition excludes continuous or smooth descent as well.