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.