Category of magmas: Difference between revisions

Revision as of 20:04, 22 March 2005

Revision as of 11:41, 23 April 2005

Line 5:

There is an ''inclusion'' [[functor]] from '''Set''' to '''[[Medial category|Med]]''' to (inclusion) '''Mag''' as trivial [[magma (algebra)|magma]]s, with [[binary operation|operation]]s: right, say, [[projection]]s ('''bad references, we need projection maps''') : x T y = y.

A veryAn important property is that an [[injective]] [[endomorphism]] can be extended to an [[automorphism]] of a magma [[extension (algebra)|extension]], just the [[colimit]] of the ([[constant]] [[sequence]] of the) [[endomorphism]].

[[Category:Category theory]]

[[es:Magma (categoría)]]