Quantum redactiones paginae "Theoria categoriarum" differant
Content deleted Content added
new page (Myrias) |
start to flesh out |
||
Linea 1:
{{L}}
[[Fasciculus:Commutative diagram for morphism.svg|thumb|right|Diagramma morphismorum. X, Y, Z sunt elementa categoriae. Si <math>f:X \rightarrow Y</math> et <math>g:Y \rightarrow Z</math> sunt morphismi, <math>f \circ g:X \rightarrow Z</math>, compositio morphismorum, est etiam morphism]]
'''Theoria categoriarum''' est pars [[mathematica]]e quae de structuris tractat, magis generaliter quam [[algebra abstracta]]. Est pars [[logica mathematica|logicae]]; licet etiam dicere partem [[algebra]]e esse.
Categoria est [[copia]] rerum mathematicarum, ubi sunt morphismi inter res. Exempli gratia, habemus categoriam [[caterva (mathematica)|catervarum]], quae est copia catervarum et [[homomorphismus|homomorphismi]] ex alia ad aliam. Est semper morphismus idemfactor <math>i:X \rightarrow X, \forall x \in X: i(x) = x</math>. Licet morphismos componere; compositio morphismorum est associativa, hoc est <math>(f \circ g) \circ h = f \circ (g \circ h)</math>, si ''f, g, h'' sunt morphismi. Non autem necesse est commutativam esse: <math>f \circ g</math> et <math>g \circ f</math> inter se differre possunt.
{{math-stipula}}
| |||