Volný objekt
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.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.