Logo
Unionpedia
Komunikacja
pobierz z Google Play
Nowy! Pobierz Unionpedia na urządzeniu z systemem Android™!
Pobieranie
Szybszy dostęp niż przeglądarce!
 

Diagram przemienny

Indeks Diagram przemienny

Diagram przemienny – w matematyce, a szczególnie w teorii kategorii, diagram składający się z obiektów (nazywanych również wierzchołkami) i morfizmów (znanych także jako strzałki lub krawędzie), w którym wybranie dowolnej drogi skierowanej między dwoma jego obiektami prowadzi do tego samego wyniku ze względu na składanie morfizmów.

17 kontakty: Algebra, Algebra homologiczna, Ciąg dokładny, Diagram (teoria kategorii), Dowód (matematyka), Epimorfizm, Funkcja różnowartościowa, Izomorfizm, Kategoria (matematyka), Matematyka, Monomorfizm, Równanie, Surjekcja, Sylogizm, Teoria kategorii, Twierdzenia o izomorfizmie, Wielokąt.

Algebra

Dzieło, z którego pochodzi określenie „algebra”: ''Al-kitab al-muchtasar fi hisab al-dżabr wa-al-mukabala'' (IX w.) Towarzystwa do Ksiąg Elementarnych Algebra (al-dżabr) – jedna z głównych dziedzin matematyki, zajmująca się wszelkimi strukturami algebraicznymi, czyli zbiorami – lub bardziej ogólnymi klasami – wyposażonymi w działania; struktury te bywająteż nazywane algebrami ogólnymi.

Nowy!!: Diagram przemienny i Algebra · Zobacz więcej »

Algebra homologiczna

Algebra homologiczna – dział algebry będący swoistym zapleczem topologii algebraicznej, na którąskładająsię między innymi niektóre obszary teorii grup, teorii modułów i teorii pierścieni, przejawiający przy tym ścisły związek z teoriąkategorii.

Nowy!!: Diagram przemienny i Algebra homologiczna · Zobacz więcej »

Ciąg dokładny

Niech \ będzie ciągiem grup oraz \varphi_i\colon G_i \to G_ – ciągiem homomorfizmów: Ten ciąg grup i homomorfizmów nazywamy ciągiem dokładnym, jeśli obraz każdego homomorfizmu jest równy jądru następnego homomorfizmu: gdzie: Ciągi dokładne określa się także dla innych niż grupy struktur algebraicznych, na przykład dla modułów, jeśli sąone grupami ze względu na jedno z działań.

Nowy!!: Diagram przemienny i Ciąg dokładny · Zobacz więcej »

Diagram (teoria kategorii)

Diagram – teoriokategoryjny odpowiednik rodziny indeksowanej zbiorów z teorii mnogości; zasadnicząróżnicąjest dodatkowa obecność morfizmów obok obiektów.

Nowy!!: Diagram przemienny i Diagram (teoria kategorii) · Zobacz więcej »

Dowód (matematyka)

Dowód – wykazanie, że pewne zdanie jest prawdziwe.

Nowy!!: Diagram przemienny i Dowód (matematyka) · Zobacz więcej »

Epimorfizm

Diagram przemienny epimorfizmu Epimorfizm – w teorii kategorii, morfizm f\colon X \to Y mający prawostronnąwłasność skracania, tj.

Nowy!!: Diagram przemienny i Epimorfizm · Zobacz więcej »

Funkcja różnowartościowa

Diagram przemienny przedstawiający iniekcję jako funkcję odwracalnąlewostronnie data.

Nowy!!: Diagram przemienny i Funkcja różnowartościowa · Zobacz więcej »

Izomorfizm

Izomorfizm (gr. isos – równy, morphe – kształt) – funkcja wzajemnie jednoznaczna (bijekcja) z jednego obiektu matematycznego w drugi, która zachowuje funkcje, relacje i wyróżnione elementy.

Nowy!!: Diagram przemienny i Izomorfizm · Zobacz więcej »

Kategoria (matematyka)

Kategoria – pojęcie wyodrębniające pewne algebraiczne własności rodzin morfizmów między obiektami matematycznymi tego samego typu, np.

Nowy!!: Diagram przemienny i Kategoria (matematyka) · Zobacz więcej »

Matematyka

Rafaela Santiego (XVI wiek); cyrkiel trzyma Euklides, grecki matematyk z III wieku p.n.e. Uniwersytetu Oksfordzkiego; na ziemi znajduje się parkietaż Penrose’a opisany po raz pierwszy przez jednego z pracowników tej placówki. Matematyka (z łac. mathematicus, od gr. μαθηματικός mathēmatikós, od μαθηματ-, μαθημα mathēmat-, mathēma, „nauka, lekcja, poznanie”, od μανθάνειν manthánein, „uczyć się, dowiedzieć”; prawd. spokr. z goc. mundon, „baczyć, uważać”) – nauka zaliczana do grupy formalnych, inaczej dedukcyjnych lub apriorycznych, a także do nauk ścisłych i definiująca tę grupę – matematyka stanowi ich fundament.

Nowy!!: Diagram przemienny i Matematyka · Zobacz więcej »

Monomorfizm

Diagram przemienny monomorfizmu Monomorfizm – w teorii kategorii morfizm f\colon X \to Y mający lewostronnąwłasność skracania w tym sensie, że dla wszystkich morfizmów g_1, g_2\colon Z \to X zachodzi: Wielu autorów książek o algebrze abstrakcyjnej i uniwersalnej definiuje monomorfizm jako homomorfizm różnowartościowy (iniektywny).

Nowy!!: Diagram przemienny i Monomorfizm · Zobacz więcej »

Równanie

Równanie – forma zdaniowa postaci t_1.

Nowy!!: Diagram przemienny i Równanie · Zobacz więcej »

Surjekcja

Diagram przemienny ilustrujący suriekcję jako funkcję odwracalnąprawostronnie Surjekcja (suriekcja, funkcja „na”) – funkcja przyjmująca jako swoje wartości wszystkie elementy przeciwdziedziny, tj.

Nowy!!: Diagram przemienny i Surjekcja · Zobacz więcej »

Sylogizm

Sylogizm (z – konkluzja, wniosek) – schemat wnioskowania na podstawie dwóch przesłanek, które zawierająwspólny element, a każdy element wniosku zawarty jest w dokładnie jednej przesłance.

Nowy!!: Diagram przemienny i Sylogizm · Zobacz więcej »

Teoria kategorii

Teoria kategorii – dział matematyki zapoczątkowany w 1945 przez polskiego matematyka Samuela Eilenberga i Amerykanina Saundersa Mac Lane’a.

Nowy!!: Diagram przemienny i Teoria kategorii · Zobacz więcej »

Twierdzenia o izomorfizmie

Twierdzenie o izomorfizmie – twierdzenie matematyczne, szeroko stosowane w algebrze uniwersalnej, mówiące o istnieniu pewnych naturalnych izomorfizmów.

Nowy!!: Diagram przemienny i Twierdzenia o izomorfizmie · Zobacz więcej »

Wielokąt

Wielokąt, wielobok – różnie definiowany typ figury geometrycznej.

Nowy!!: Diagram przemienny i Wielokąt · Zobacz więcej »

TowarzyskiPrzybywający
Hej! Jesteśmy na Facebooku teraz! »