Volný objekt: Porovnání verzí

Přidáno 48 bajtů ,  před 2 lety
m
+příklady
m (poznámka o volných monádách)
m (+příklady)
[[Funktor]] [[adjungovaný funktor|adjungovaný]] k ''F'', nazývaný [[volný funktor]], generuje objekty z množin. Například může generovat z množiny volnou [[grupa|grupu]].
 
Příkladem volného objektu jsou volné [[monoid]]y, volné [[grupa|grupy]] nebo [[volná monáda|volné monády]].
 
[[Kategorie:Teorie kategorií]]