Kategori (matematik)
- For alternative betydninger, se Kategori. (Se også artikler, som begynder med Kategori)
I matematik bruges kategorier til at beskrive matematiske strukturer og genkende matematiske strukturer på tværs af de enkelte grene af matematik. Kategoriteori udgør et alternativ til mængdeteori som grundlag for matematikken. En kategori består af objekter og morfier. Objekterne er typisk mængder med en struktur såsom vektorrum eller topologiske rum. Morfierne er typisk strukturbevarende afbildninger mellem disse mængder såsom lineære eller kontinuerte afbildninger.
Definition
redigérEn kategori består af en mængde af objekter og mængde af morfier. Til hver morfi er der knyttet et startobjekt og et slutobjekt. Mængden af morfier, som starter i objekt og slutter i objekt betegnes . Endvidere indeholder en kategori en regneoperation ○ som kaldes sammensætning af morfier. Hvis og , så definerer en morfi i . Det antages at sammensætning af morfier er associativ således at
For hvert objekt findes endvidere en morfi kaldet identiteten i , som skal opfylde
Eksempler
redigérKategorien af endelige reelle vektorrum har endelige vektorrum over de reelle tal som objekter og lineære afbildninger mellem disse vektorrum som morfier.
Kategorien af topologiske rum har topologiske rum som objekter og kontinuerte afbildninger mellem topologiske rum som morfier.
Kategorien af grupper har grupper som objekter og gruppehomomorfier som morfier.
En kategori, som kun har et enkelt objekt, er det samme som et monoid (en semigruppe med enhed). Specielt kan en gruppe opfattes som en kategori med et enkelt objekt hvor alle morfier er isomorfier.