Kategorie endofunktorů je v teorii typů kategorie endofunktorů nad typy, kde morfismy jsou přirozené transformace. Jedná se o monoidální kategorii, kde jednotka je funktor identity a tenzorový součin je skládání funktorů.
Monoidy v této kategorii odpovídají ve funkcionálním programování monádám.
Zdroj
Poslední aktualizace obsahu: 2025-04-25 23:06:35
Zdroj: Wikipedia (autoři článku Kategorie endofunktorů)
Licence textu: CC-BY-SA-3.0 Unported
Tento článek byl automaticky přejat z Wikipedie. Na obrázcích nebyly provedeny žádné změny. Obrázky se zobrazují ve zmenšené velikosti (jako miniatury). Kliknutím na obrázek získáte další informace o autorovi a licenci. Byly změněny prvky designu, odstraněny některé odkazy specifické pro Wikipedii (např. odkazy na Editaci a nebo na neexistující hesla) a provedena optimalizace pro rychlé načítání.
