Hodnotenie:
Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 4 hlasoch.
Teóriu kategórií vynašli Samuel Eilenberg a Saunders MacLane v roku 1945. Odvtedy sa jazyk teórie kategórií používa nielen v čistej matematike, ale aj v iných disciplínach vrátane informatiky, ktorá je základným pojmovým jazykom interdisciplinárnych vied.
Mnohí túto teóriu považujú za lepšiu alternatívu k teórii množín ako základu matematiky. Vďaka tomu nám teória množín umožňuje modelovať situácie, ktoré teória množín neumožňuje. Z toho vyplýva dôležitosť jej štúdia a pochopenia.
V roku 1963 F. William Lawvere vo svojej doktorskej práci uviedol, že teória množín je osobitným prípadom teórie kategórií.
Medzi týmito dvoma kategóriami je zásadný rozdiel. V teórii množín vychádzame z vnútorných vlastností množín, aby sme poznali ich vonkajšie vlastnosti.
V teórii kategórií je cieľom poznať vnútorné vlastnosti cieľov z ich vonkajších vlastností.