Kategorie funktorů je kategorie, jejíž objekty jsou funktory z kategorie C do kategorie D. Jde-li o stejnou kategorii, jedná se o kategorii endofunktorů. Morfismy v kategorii funktorů jsou přirozené transformace, jejichž (vertikální) skládání splňuje podmínky definice kategorie.
Kategorie endofunktorů spolu s operací skládání tvoří monoidální kategorii s funktorem identity jako jednotkovým prvkem. Monoidy v této kategorii, tzv. monády, představují základní stavební prvky ve funkcionálních jazycích.
Zdroj
Poslední aktualizace obsahu: 2023-12-30 12:07:09
Zdroj: Wikipedia (autoři článku Kategorie funktorů)
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í.