Share to: share facebook share twitter share wa share telegram print page

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.

Prefix: a b c d e f g h i j k l m n o p q r s t u v w x y z 0 1 2 3 4 5 6 7 8 9

Portal di Ensiklopedia Dunia

Kembali kehalaman sebelumnya