Kategoria (matematyka)

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]

Błąd w przypisach: Istnieje znacznik <ref> dla grupy o nazwie „uwaga”, ale nie odnaleziono odpowiedniego znacznika <references group="uwaga"/>

BŁĄD PRZYPISÓW