Skládání zobrazení
Je-li zobrazení množiny do množiny a je zobrazení množiny do množiny , pak je zobrazení množiny do množiny , které označujeme jako složené zobrazení.
Složením zobrazení a je množina .
Pokud budeme značit funkce a , pak jejich složení můžeme zapsat také jako .
Složení zobrazení je operace, která je asociativní, ale obecně není komutativní, tzn. . S vhodnou množinou zobrazení tvoří tato operace grupu.
Speciálním případem skládání zobrazení je skládání funkcí.
Morfismy
V teorii kategorií je skládání zobrazení speciálním případem skládání morfismů v kategorii množin. Krom běžného existují i jiné druhy skládání, například v Kleisliho kategorii (v případě monád) se skládání morfismů definuje operátorem .
![]() | Tento článek je příliš stručný nebo postrádá důležité informace. Pomozte Wikipedii tím, že jej vhodně rozšíříte. Nevkládejte však bez oprávnění cizí texty. |