Értékelés:
Jelenleg nincsenek olvasói vélemények. Az értékelés 4 olvasói szavazat alapján történt.
A kategóriaelméletet Samuel Eilenberg és Saunders MacLane találta fel 1945-ben. Azóta a kategóriaelmélet nyelvét nemcsak a tiszta matematikában, hanem más tudományágakban is használják, beleértve az informatikát, amely az interdiszciplináris tudományok alapvető fogalmi nyelve.
Ezt az elméletet sokan a halmazelméletnek mint a matematika alapjának jobb alternatívájának tartják. A fentieknek köszönhetően a halmazelmélet olyan helyzetek modellezését teszi lehetővé, amelyeket a halmazelmélet nem. Ezért fontos a tanulmányozása és megértése.
1963-ban F. William Lawvere doktori értekezésében kijelentette, hogy a halmazelmélet a kategóriaelmélet egy speciális esete.
E két kategória között alapvető különbség van. A halmazelméletben a halmazok belső tulajdonságaiból indulunk ki, hogy megismerjük külső tulajdonságaikat.
A kategóriaelméletben a cél az, hogy a célok belső tulajdonságait külső tulajdonságaikból ismerjük meg.