Kategoria – pojęcie wyodrębniające szereg algebraicznych własności rodzin morfizmów między obiektami matematycznymi tego samego typu (zbiorów, przestrzeni topologicznych, przestrzeni liniowych, grup itp.) pod warunkiem, że te rodziny zawierają odwzorowanie tożsamościowe i są zamknięte względem kolejnego wykonywania superpozycji (lub iloczynu) odwzorowań. Pojęcie kategorii zostało wprowadzone w pracy Eilenberga i Mac Lane.