Kategorie:Topologie der kompakten Konvergenz/Fakten