Kategoriteori – Wikipedia
![](http://upload.wikimedia.org/wikipedia/commons/d/d7/Arrow_Diagram.png)
Kategoriteori är en gren av den moderna matematiken. Kategorier definierades först 1945 av Samuel Eilenberg och Saunders MacLane i samband med studier av relationen mellan topologi och algebra[1]. Teorin är nu ett självständigt område med tillämpningar inte bara inom algebraisk topologi utan även algebraisk geometri, teoretisk datavetenskap och teoretisk fysik.
En (lokalt liten) kategori ges av två data: en klass av objekt och, för varje par av objekt X och Y, en mängd av morfismer eller morfier från X till Y. Morfismer illustreras ofta som pilar mellan dessa objekt. Detta beteckningssätt kommer sig av att ofta objekten i kategorin består av mängder med någon extra struktur, och morfismerna består av funktioner mellan objekt som uppfyller något villkor med avseende på strukturerna. Dock behöver objekt i kategorier inte bestå av mängder, och morfismerna kan inte nödvändigtvis tolkas som funktioner.
Exempel på kategorier
[redigera | redigera wikitext]Det kanske enklaste exemplet på en kategori är kategorin av mängder, ofta betecknad (efter engelsk förebild) eller (efter fransk dito). Här ges objekten av alla mängder och morfismerna av alla funktioner mellan dessa. Andra vanliga kategorier ges av algebraiska strukturer och strukturbevarande avbildningar mellan dessa, såsom
- , kategorin av grupper och grupphomomorfismer;
- , kategorin av ringar och ringhomomorfismer;
- för varje kropp kategorin av -vektorrum och linjära avbildningar mellan dessa;
- , kategorin av partiellt ordnade mängder och ordningsbevarande avbildningar mellan dessa.
En annan grupp av exempel ges av olika typer av rum, såsom
- , kategorin av topologiska rum och kontinuerliga funktioner;
- , kategorin av metriska rum och kontraktiva avbildningar mellan dessa;
- , kategorin av banachrum och linjära kontraktiva avbildningar mellan dessa.
Även individuella objekt kan betraktas som kategorier:
- En mängd kan betraktas som en kategori vars objekt är mängdens element och vars enda morfismer är motsvarande identitetsmorfismer.
- En grupp kan betraktas som en kategori med ett enda objekt och med en morfism för varje gruppelement; sammansättning av morfismer är multiplikation av gruppelementen.
- En partiellt ordnad mängd kan betraktas som en kategori vars objekt är elementen i och vars morfismer bestäms av ordningsrelationen: om låter man det finnas precis en morfism från till ; i övrigt finns inga morfismer.
De sista tre exemplen visar att morfismerna inte behöver vara funktioner. Ett annat exempel där morfismerna inte är funktioner i vanlig mening ges av homotopikategorin , vars objekt är topologiska rum och vars morfismer är homotopiklasser av kontinuerliga funktioner.
Konkreta kategorier
[redigera | redigera wikitext]I många kategorier består objekten av mängder med någon extra struktur, och morfismerna av sådana vanliga funktioner mellan objekt som "respekterar" strukturerna. Sådana kategorier kallas konkreta.
Den formella definitionen är litet generellare, men därför också abstraktare. En konkret kategori definieras som ett par (C,U), där C är en kategori, och U är en (kovariant) trogen funktor från C till kategorin Set av mängder med vanliga mängdavbildningar som morfismer. Kategorin C är konkretiserbar om det finns en sådan funktor U, och varje sådant U är en konkretisering av kategorin C. Samtliga kategorier givna ovan är konkretiserbara förutom , homotopikategorin av topologiska rum.
Funktorer
[redigera | redigera wikitext]Givet två kategorier och , så är en funktor ett par av tillordningar där avbildar objekt i på objekt i och avbildar morfismer i på morfismer i , på ett sätt som respekterar sammansättning av morfismer i de båda kategorierna. Om nämligen och är sammansättningsbara morfismer i skall det gälla att
Här sker sammansättningen av och i kategorin , medan sammansättningen av och sker i kategorin . Speciellt måste och vara sammansättningsbara morfismer, vilket ställer krav på avbildningen . Se artikeln funktor för detaljer. Det är brukligt att utelämna avbildningens index och alltså använda samma bokstav (här ) för både och .
På samma sätt som till exempel grupphomomorfismer är strukturbevarande avbildningar mellan grupper och kontinuerliga funktioner är strukturbevarande avbildningar mellan topologiska rum, är funktorer strukturbevarande avbildningar mellan kategorier.
Universella problem och fria objekt
[redigera | redigera wikitext]Se även
[redigera | redigera wikitext]Referenser
[redigera | redigera wikitext]Noter
[redigera | redigera wikitext]- ^ Eilenberg and MacLane 1945
Källor
[redigera | redigera wikitext]- Adámek, Jiří; Herrlich, Horst; Strecker, George E. (2004). Abstract and Concrete Categories. Heldermann Verlag Berlin. http://katmat.math.uni-bremen.de/acc/acc.htm
- Eilenberg, Samuel; MacLane, Saunders (1945). ”General theory of natural equivalences”. Transactions of the American Mathematical Society 58: sid. 247. doi: . ISSN 0002-9947. https://www.ams.org/tran/1945-058-00/S0002-9947-1945-0013131-6/.
Externa länkar
[redigera | redigera wikitext]Wikimedia Commons har media som rör Kategoriteori.