Quantum redactiones paginae "Theoria categoriarum" differant

Content deleted Content added
start to flesh out
clarify example
Linea 4:
'''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. Morphismi sunt [[homomorphismus|homomorphismi]] aut [[homeomorphismus|homeomorphismi]] aut [[isometria]]e aut alii, secundum speciem structurarum.

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}}