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å kategorierRedigera

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 kategorierRedigera

Huvudartikel: Konkret kategori

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.

FunktorerRedigera

Huvudartikel: Funktor

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 objektRedigera

Se ävenRedigera

ReferenserRedigera

  1. ^ Eilenberg and MacLane 1945