kategooriaomadused
Kategooria omadused viitavad selle kohta, milliseid struktuure ja konstruktsioone kategoorias eksisteerib ning kuidas objekti- ja morfismisuhted omavahel toimivad. Need omadused kirjeldatakse sageli universaalsete konstruktsioonide kaudu, mis annavad kindla viisi, kuidas erinevad elemendid kategoorias omavahel sobivad.
Üks keskseid kategooria omadusi on limitide ja kolimendide olemasolu. Limitid kirjeldavad universaalseid piirväärtusi mitme objekti vahel
Teine oluline osa on morfismide klassid ja funktorid. Monomorfismid, epimorfismid ja isomorfismid kirjeldavad morfismide eristatavust ja
Kategooriaid võivad iseloomustada ka eraldi tüüpide järgi, näiteks cartesian-closed kategooriad, toposed ja abeli kategooriad. Need mõisted