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 »