Kategoriteori
Från Rilpedia
Texten från svenska Wikipedia
Kategoriteori är en gren av den moderna matematiken. Kategorier definierades först 1945 av Samuel Eilenberg och Saunders MacLane i samband med studier om relationen mellan topologi och algebra.
En 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 bland annat objekt i kategorier inte bestå av mängder, och i vilket fall finns det finns fler typer av morfismer.
Innehåll |
