Volný objekt

algebraická struktura nad danou množinou, která neobsahuje žádnou další vlastnost k těm vyžadovaným příslušnými axiomy
(přesměrováno z Volný funktor)

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.