A mapping where the inverse image (pullback) of each open set is open
----
CategoryMath