Volný objekt

Z Wikipedie, otevřené encyklopedie
Skočit na navigaci Skočit na vyhledávání

Volný objekt v kategorii C vzhledem k funktoru je objekt A generovaný množinou X takový, že pro každý objekt a morfismus existuje unikátní morfismus takový, že , kde je kanonické vložení.

Funktor adjungovaný k F, nazývaný volný funktor, generuje objekty z množin. Například může generovat z množiny volnou grupu.

Příkladem volného objektu jsou volné monoidy, volné grupy nebo volné monády.