Poprawa logiki kategorii i opis metod