Innehållsförteckning
11 relationer: Algebraisk geometri, Intuitionistisk logik, Kategori (matematik), Kategoriteori, Kärve (matematik), Klassisk logik, Kohomologi, Matematisk logik, Mängdteori, Plats, Topologi.
- Kärveteori
Algebraisk geometri
Algebraisk geometri är en gren inom matematiken och kan sägas vara en kombination av geometri och abstrakt algebra.
Se Toposteori och Algebraisk geometri
Intuitionistisk logik
Den intuitionistiska logiken har sitt ursprung i intuitionismen som grundar sig på uppfattningen att existensen av ett (matematiskt) objekt endast kan fastställas genom att i någon mening konstruera objektet.
Se Toposteori och Intuitionistisk logik
Kategori (matematik)
Inom matematiken utgör en kategori en struktur bestående av en uppsättning objekt, en uppsättning morfismer och vissa tillordningar av objekt eller morfismer, som har sådana samband som uppsättningar med mängder av viss struktur och avbildningar mellan mängderna som respekterar strukturerna kan förväntas ha.
Se Toposteori och Kategori (matematik)
Kategoriteori
Kategoriteori är en gren av den moderna matematiken.
Se Toposteori och Kategoriteori
Kärve (matematik)
I matematiken är en kärve en struktur som varierar på ett kontinuerligt sätt över ett topologiskt rum.
Se Toposteori och Kärve (matematik)
Klassisk logik
Inom den klassiska logiken utgår man från att alla påståenden antingen är sanna eller falska.
Se Toposteori och Klassisk logik
Kohomologi
Inom matematiken, speciellt inom homologiteori och algebraisk topologi, är kohomologi en allmän term för en följd av abelska grupper definierade från ett visst kokedjekomplex.
Matematisk logik
Matematisk logik har generellt två betydelser.
Se Toposteori och Matematisk logik
Mängdteori
miniatyr Mängdteori är del inom matematisk logik som syftar till att studera samlingar av element som kallas för mängder.
Plats
Inom matematiken är en plats en kategoriteoretisk generalisering av ett topologiskt rum.
Topologi
Broarna i Königsberg är ett klassiskt topologiskt problem. Topologi från grekiskans τόπος ("topos": plats, ställe) och λόγος ("logos": lära), är en gren inom den moderna matematiken.