Die topologische Summe ist die Konstruktion, die in der Kategorie der topologischen Räume durch das Koprodukt beschrieben wird. Die topologische Summe zweier topologischer Räume entspricht anschaulich dem Nebeneinanderstellen der beiden Räume.
Definition: Topologische Summe
Seien X und Y zwei topologische Räume. Die topologische Summe ist die disjunkte Vereinigung von X und Y gemeinsam mit der Topologie, die von der Basis erzeugt wird.
Proposition: Topologische Summe ist kategorielles Koprodukt
Das Koprodukt zweier topologischer Räume in der Kategorie der topologischen Räume mit stetigen Funktionen ist die topologische Summe.
