Quantum redactiones paginae "Theoria categoriarum" differant

 

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