"458"^^ . "16266549"^^ . . . "Kategorie endofunktor\u016F"@cs . . "kategorii endofunktor\u016F"@cs . "1402223"^^ . "Kategorie endofunktor\u016F je v teorii typ\u016F kategorie endofunktor\u016F nad typy, kde morfismy jsou p\u0159irozen\u00E9 transformace. Jedn\u00E1 se o monoid\u00E1ln\u00ED kategorii, kde jednotka je funktor identity a tenzorov\u00FD sou\u010Din je skl\u00E1d\u00E1n\u00ED funktor\u016F.Monoidy v t\u00E9to kategorii odpov\u00EDdaj\u00ED ve funkcion\u00E1ln\u00EDm programov\u00E1n\u00ED mon\u00E1d\u00E1m."@cs . "6"^^ . . . . . . . "Kategorie endofunktor\u016F je v teorii typ\u016F kategorie endofunktor\u016F nad typy, kde morfismy jsou p\u0159irozen\u00E9 transformace. Jedn\u00E1 se o monoid\u00E1ln\u00ED kategorii, kde jednotka je funktor identity a tenzorov\u00FD sou\u010Din je skl\u00E1d\u00E1n\u00ED funktor\u016F.Monoidy v t\u00E9to kategorii odpov\u00EDdaj\u00ED ve funkcion\u00E1ln\u00EDm programov\u00E1n\u00ED mon\u00E1d\u00E1m."@cs . . .