Kategori beskrive og generalisere mønster med eigne ord og algebraisk