Monoid: Porovnání verzí

Skočit na navigaci Skočit na vyhledávání
Přidáno 17 bajtů ,  před 5 měsíci
m
robot: přidáno {{Autoritní data}}; kosmetické úpravy
m (→‎Teorie kategorií: doplnění podmínek)
m (robot: přidáno {{Autoritní data}}; kosmetické úpravy)
 
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>, <math>\mu\circ(1\otimes\eta)=\rho</math> a <math>\mu \circ (\mu\otimes 1)=\mu \circ (1 \otimes \mu) \circ\alpha</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>.
 
=== Související články ===
* [[Grupoid]]
* [[Pologrupa]]
* [[Grupa]] - monoid rozšířený o [[Inverzní prvek|inverzní]] operaci
* [[Volný monoid]]
{{Autoritní data}}
 
[[Kategorie:Algebraické struktury]]
1 364 190

editací

Navigační menu