Dyskusja kategorii:Teoria punktu stałego

Dlaczego twierdzenie Banacha o kontrakcji jest pod literą B a twierdzenie Brouwera o punkcie stałym pod T? Stron kategori nie można samodzielnie modyfikowac, czy tylko ja nie umiem?