Kategorie:Kurs:Vektorbündel und Abschlussoperationen (MSRI 2012)/Hilfsstruktur