Teorio de kategorioj: Malsamoj inter versioj
[nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
SieBot (diskuto | kontribuoj) e roboto aldono de: el:Θεωρία κατηγοριών |
"funktoro"->"funktoro" "funkturo"->"funktoro" "Funktoro"->"Funktoro" "Funkturo"->"Funktoro" "funkturoj"->"funktoroj" "funkturoj"->"funktoroj" |
||
Linio 9:
Por ilustri, vi povas imagi la objektojn esti ĉiuj aroj kaj la sagojn esti ĉiuj funkcioj inter la aroj. La komponoperacio en ĉi tiu afero estas ordinara funkcia komponado. Ĝi estas ''konkreta kategorio'' ĉar la objektoj estas iuj aroj (eble kun aldonita strukturo), la sagoj estas iuj funkcioj, kaj la komponoperacio estas nur funkcia komponado. Aliaj ekzemploj de konkretaj kategorioj estas la kategorio de grupoj kaj homomorfioj, la kategorio de topologioj kaj kontinuaj funkcioj, k. s. Ankaŭ ekzistas pluraj kategorioj kiuj ne estas konkretaj; ĉi tiuj ''abstraktaj kategorioj'' ofte okazas el konstruadoj el aliaj kategorioj (ekz. konstruadoj de mala kategorio, tranĉa kategorio, kategorioj de monadalgebroj kaj koalgebroj).
Kiam oni esprimas strukturojn en la lingvo de kategorioj, oni gajnas ne nur la eblecon studi la ecojn de la strukturoj, sed ankaŭ la eblecon studi la tipojn de strukturoj. Por tio estas la koncepto ''
Aldone al la baza kadro de kategorioj kaj
Al multaj, la teorio de kategorioj estas alternativo al la [[teorio de aroj]].
|