What does bairescher Kategoriensatz mean?

bairescher Kategoriensatz - German to English

Baire group theorem