Teorio de kategorioj: Malsamoj inter versioj
| [nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
Maksim (diskuto | kontribuoj) |
malmajuskligo |
||
Linio 1:
'''[[Matematiko]] -> Fakoj -> Teorio de kategorioj'''
La '''Teorio de kategorioj''' estas moderna koncepto kiu aperis en la jaroj 1940-aj en la artikoloj de [[Samuel
La bazaj nocioj de la teorio estas simplaj. Kategorio konsistas el du specoj: ''objektoj'' kaj ''sagoj'' inter tiuj objektoj. Grave, kategorio ankaŭ bezonas surhavi tri operaciojn: ''fontoperacio'' mallongita al '''fon''', ''kofontoperacio'' (aŭ ''celoperacio''), mallongigita al '''kof''', kaj ''komponoperacio'', skribite °. '''fon''' estas funkcio de la sagoj el kategorio al la objektoj el la sama kategorio, kiu donas la komencon de ĉiu sago. Simile, '''kof''' donas la finon de ĉiu sago. La komponoperacio estas duonfunkcio (tio estas, funkcio kiu eble ne havas valorojn ĉe tute sia difinkorpo) de paroj da sagoj al sagoj. Ĝi donas la signifon (laŭekziste) de sego sekve alia sego. Existas ne signifon de tia kunmetaĵo se la kofonto de la unua sego ne egalas la fonto de la dua. (Oni diras ke, la sagojn 'ne linas') Ĉe ĉi tio kazo, la komponoperacio devas havi nenio valoro. Kategorio devas ankau havis la jenajn ecojn:
| |||