Final topology

Summary

Take a set and a family of maps from topological spaces into it. The final topology on the set is the finest topology that makes all these maps continuous. The quotient topology and the disjoint union topology are both final topologies. A map out of the set is continuous for it exactly when its composites with all the given maps are continuous. The dual notion is the initial topology.