Logo
Uniepedie
Sdělení
Nyní na Google Play
Nový! Ke stažení Uniepedie na vašem zařízení se systémem Android™!
Bezplatná
Rychlejší přístup než prohlížeči!
 

Adjungovaný funktor

Index Adjungovaný funktor

Adjunkce je v teorii kategorií vztah mezi dvěma funktory (a tím i vztah mezi dvěma kategoriemi), které se označují jako adjungované funktory, což se značí jako F \dashv G, přičemž F je adjungovaný zleva ke G (a naopak G je adjungovaný zprava k F).

9 vztahy: Bijekce, Ekvivalence (matematika), Funktor, Galoisova korespondence, Množina, Přirozená transformace, Teorie kategorií, Univerzální algebra, Volný objekt.

Bijekce

Bijektivní funkceBijekce (bijektivní zobrazení, vzájemně jednoznačné zobrazení) je zobrazení, které je zároveň prosté i na.

Nový!!: Adjungovaný funktor a Bijekce · Vidět víc »

Ekvivalence (matematika)

Pojem ekvivalence je v matematice používán pro binární relaci, která množinu, na které je definována, rozděluje na vzájemně disjunktní podmnožiny.

Nový!!: Adjungovaný funktor a Ekvivalence (matematika) · Vidět víc »

Funktor

Funktor je pojem z matematiky, konkrétněji z teorie kategorií.

Nový!!: Adjungovaný funktor a Funktor · Vidět víc »

Galoisova korespondence

Galoisova korespondence je pojem z obecné algebry a teorie množin a obvykle označuje zobrazení mezi dvěma částečně uspořádanými množinami splňující určité požadavky.

Nový!!: Adjungovaný funktor a Galoisova korespondence · Vidět víc »

Množina

Množiny Množina je soubor objektů, chápaný jako celek.

Nový!!: Adjungovaný funktor a Množina · Vidět víc »

Přirozená transformace

V teorii kategorií je přirozená transformace způsob, jakým se navzájem transformují dva funktory mezi stejnými kategoriemi tak, že se zachovává vnitřní struktura (tzn. skládání morfismů) příslušných kategorií.

Nový!!: Adjungovaný funktor a Přirozená transformace · Vidět víc »

Teorie kategorií

Teorie kategorií je odvětví matematiky zobecňující pohled na matematické struktury a vztahy mezi nimi.

Nový!!: Adjungovaný funktor a Teorie kategorií · Vidět víc »

Univerzální algebra

Univerzální algebra je odvětví abstraktní algebry, které zkoumá vlastnosti společné různým druhům algebraických struktur.

Nový!!: Adjungovaný funktor a Univerzální algebra · Vidět víc »

Volný objekt

Volný objekt v kategorii C vzhledem k funktoru F: C \rightarrow \mathrm je objekt A generovaný množinou X takový, že pro každý objekt B \in C a morfismus f: X \rightarrow F(B) existuje unikátní morfismus g: A \rightarrow B takový, že F(g) \circ \iota.

Nový!!: Adjungovaný funktor a Volný objekt · Vidět víc »

Přesměrování zde:

Adjunkce.

OdchozíPřicházející
Ahoj! Jsme na Facebooku teď! »