Arutelu:Kategooriateooria

Definitsioon ei ole minu meelest hea, sest ei ole kategooria mõistest sõltumatut morfismi mõistet ning mõnes kategoorias on sellised morfismid, millel pole teisendustega mingit pistmist. Ja mis mõttes kategooriateooria uurib just morfisme, mitte kategooriaid ja funktoreid?

Kategooriateooria on väga üldine matemaatika osa, mida kasutatakse näitekshulgateooria ja rühmateooria formaliseerimisel.

Lisasin siia sõna "näiteks", aga pole selge, mis mõttes neid teooriaid kategooriateooria abil formaliseeritakse. Ja mis mõttes on kategooriateooria väga üldine?

"Vaata ka" all olevad lingid on minu meelest liiga kauge temaatikaga. Andres (arutelu) 14. oktoober 2018, kell 16:48 (EEST)