Kategoria – pojęcie wyodrębniające pewne algebraiczne własności rodzin morfizmów między obiektami matematycznymi tego samego typu, np. zbiorów, przestrzeni topologicznych, przestrzeni liniowych, grup itp. Zakłada się, że taka rodzina zawiera odwzorowanie tożsamościowe i jest zamknięta ze względu na wykonywanie superpozycji (iloczynu) odwzorowań. Teoria kategorii jest działem matematyki zapoczątkowanym w 1945 przez Eilenberga i Mac Lane’a[1][2][a]
<ref>
dla grupy o nazwie „uwaga”, ale nie odnaleziono odpowiedniego znacznika <references group="uwaga"/>