General Topology

Proper local homeomorphism is covering map... non-properness as obstruction to path-lifting... connection to Riemann surfaces; connection to affine vs. proper maps in algebraic geometry, intuition (curve extension, valuative criterion).