Monoid: Porovnání verzí

Přidáno 669 bajtů ,  před 2 lety
+kategoriální monoidy
m (+Volný monoid)
(+kategoriální monoidy)
 
Je-li zobrazení mezi dvěma monoidy [[bijekce|bijektivní]] a je to homomorfismus, říkáme, že tyto dva monoidy jsou [[izomorfismus|izomorfní]].
 
==Teorie kategorií==
 
V teorii kategorií je monoid objekt v [[monoidální kategorie|monoidální kategorii]] se dvěma morfismy (v [[kategorie funktorů|kategorii funktorů]] [[přirozená transformace|přirozenými transformacemi]]) <math>(M,\mu,\eta)</math> splňující <math>\mu\circ(\eta\otimes 1)=\lambda</math>.
Morfismus <math>f:M\rightarrow M'</math> je morfismem mezi monoidy, pokud <math>\eta'=f\circ \eta</math> a <math>f\circ\mu=\mu'\circ(f\otimes f)</math>.
Monoidy v kategorii '''Set''' známé z algebry jsou příkladem kategorických monoidů, neboť '''Set''' s operací <math>\times</math> a terminálním prvkem tvoří monoidální kategorii.
 
== Odkazy ==