Skip to main content
1 of 2
Arrow
  • 10.5k
  • 1
  • 27
  • 71

Intuition for universal quotient maps

The universal quotient maps are precisely the descent morphisms in the category of topological spaces. In some papers of Janelidze, Tholen, Sobral, and Reiterman, the two characterizations of universal quotient maps below are mentioned.

Proposition. For a continuous map $p$, TFAE.

  • $p$ is a universal quotient map.
  • Fibers of adherence points of filters $\mathscr F$ contain adherence points of $p^\ast \mathscr F$.
  • For every open cover $ \left\{ U_i \right\}_{i\in I}$ of a fiber $p^\ast \left\{ b \right\}$, theres a finite $I_0\subset I$ satisfying $b\in\operatorname{int} \left( p_\ast \bigcup_{i\in I_0}U_i\right)$.

I can't seem to find a geometrical way to think of either of these conditions, so I would like some help in finding intuition..

Arrow
  • 10.5k
  • 1
  • 27
  • 71