Notes about math, research, and more.
:tags: initial-topology, algebraic-topology, topology
Suppose A is a set and S={fα:AXα} is a set of functions to topological spaces. The initial topology on A with the property: A function f:ZA from a space Z is continuous if and only if fαF is continuous for every α.