21 relationer: Algebra, Algebraisk geometri, Algebraisk topologi, Banachrum, Funktion, Funktor, Grupp (matematik), Kategori (matematik), Linjärt rum, Mängd, Metriskt rum, Morfism, Naturlig transformation, Partialordnad mängd, Ring (matematik), Samuel Eilenberg, Saunders Mac Lane, Struktur (matematik), Teoretisk datavetenskap, Teoretisk fysik, Topologi.
Algebra
Algebra (från arabiska الجبر,"al-djebr", vilket betyder "återförening" eller "koppling") är en gren inom matematiken.
Ny!!: Kategoriteori och Algebra · Se mer »
Algebraisk geometri
Algebraisk geometri är en gren inom matematiken och kan sägas vara en kombination av geometri och abstrakt algebra.
Ny!!: Kategoriteori och Algebraisk geometri · Se mer »
Algebraisk topologi
Algebraisk topologi är ett område inom matematiken som studerar topologiska rum med hjälp av algebra.
Ny!!: Kategoriteori och Algebraisk topologi · Se mer »
Banachrum
Banachrum är i matematiken i allmänhet oändligdimensionella rum av funktioner.
Ny!!: Kategoriteori och Banachrum · Se mer »
Funktion
En funktion ''f'' tar ett invärde ''x'', och returnerar ett utvärde ''f(x)''. En liknelse är att beskriva funktionen som en maskin eller hemlig låda som för vissa invärden returnerar bestämda utvärden. graf. Detta är funktionen ''f''(''x'').
Ny!!: Kategoriteori och Funktion · Se mer »
Funktor
Inom kategoriteorin i matematik är en funktor en tillordning som på ett naturligt sätt till varje objekt i en kategori associerar något objekt i samma eller en annan kategori.
Ny!!: Kategoriteori och Funktor · Se mer »
Grupp (matematik)
De möjliga inställningarna hos Rubiks kub och överföringarna mellan dessa tillstånd utgör en matematisk grupp. En grupp är en typ av abstrakt algebraisk struktur vars studium kallas gruppteori.
Ny!!: Kategoriteori och Grupp (matematik) · Se mer »
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.
Ny!!: Kategoriteori och Kategori (matematik) · Se mer »
Linjärt rum
Ett linjärt rum, även kallat vektorrum, är en mängd med en linjär struktur.
Ny!!: Kategoriteori och Linjärt rum · Se mer »
Mängd
En mängd är en samling av objekt.
Ny!!: Kategoriteori och Mängd · Se mer »
Metriskt rum
Inom matematiken är ett metriskt rum en mängd X tillsammans med en funktion d: X \times X \to \mathbb sådan att dessa villkor gäller för alla element x,y,z\in X.
Ny!!: Kategoriteori och Metriskt rum · Se mer »
Morfism
Inom kategoriteori, en abstrakt generalisering av många områden av matematiken, är morfismer eller morfier generaliseringar av funktioner.
Ny!!: Kategoriteori och Morfism · Se mer »
Naturlig transformation
Inom matematik, närmare bestämt kategoriteori, är en naturlig transformation något som avbildar en funktor på en annan funktor, på ett sådant sätt att strukturen hos de inblandade kategorierna bevaras.
Ny!!: Kategoriteori och Naturlig transformation · Se mer »
Partialordnad mängd
Hassediagramet över potensmängden av x,y,z med delmängd (\subseteq) som ordningsrelation. Här är exempelvis x och y,z inte jämförbara. En partialordnad mängd eller partiellt ordnad mängd, ibland förkortat pomängd, är inom matematiken en mängd utrustad med en speciell binär relation, en så kallad partialordning eller partiell ordning.
Ny!!: Kategoriteori och Partialordnad mängd · Se mer »
Ring (matematik)
En ring är en algebraisk struktur betecknad R(+,·), på vilken finns två operatorer + och · sådana att: Om multiplikationen har ett neutralt element, ofta betecknat med 1, så sägs ringen vara unitär.
Ny!!: Kategoriteori och Ring (matematik) · Se mer »
Samuel Eilenberg
Samuel Eilenberg, född 30 september 1913, död 30 januari 1988, var en polsk-amerikansk matematiker.
Ny!!: Kategoriteori och Samuel Eilenberg · Se mer »
Saunders Mac Lane
Saunders Mac Lane, född 4 augusti 1909 i Norwich, Connecticut, USA, död 14 april 2005 i San Fransisco, Kalifornien, var en amerikansk matematiker, som är mest känd för att tillsammans med Samuel Eilenberg ha grundat kategoriteorin.
Ny!!: Kategoriteori och Saunders Mac Lane · Se mer »
Struktur (matematik)
En schematisk bild som visar flertal strukturer. Inom matematiken har begreppet struktur fått en speciell ställning; den moderna matematiken uppfattas ibland just som läran om strukturer på mängder.
Ny!!: Kategoriteori och Struktur (matematik) · Se mer »
Teoretisk datavetenskap
Turing-maskin. Turingmaskiner används för att modellera generella beräkningsenheter. Teoretisk datavetenskap eller teoretisk datalogi är en delmängd av allmän datavetenskap och matematik som fokuserar på mer matematiska ämnen för datoranvändning och inkluderar beräkningsteorin.
Ny!!: Kategoriteori och Teoretisk datavetenskap · Se mer »
Teoretisk fysik
Teoretisk fysik är den del av fysiken som använder matematiska eller datorbaserade modeller för att försöka förstå och beskriva naturen.
Ny!!: Kategoriteori och Teoretisk fysik · Se mer »
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.
Ny!!: Kategoriteori och Topologi · Se mer »