Konkret kategori
Konkret kategori står inom det matematiska området kategoriteori oftast informellt för en kategori vars objekt är mängder med någon bestämd extra matematisk struktur, och vars morfismer är de vanliga mängdteoretiska funktioner som "respekterar" denna struktur. Exempelvis består kategorin av grupper av just grupper, alltså mängder tillsammans med gruppstrukturer, och av grupphomomorfier, alltså funktioner mellan grupper som överför grupprodukter i grupprodukter.

Ett annat exempel är kategorin av reella linjära rum, där objekten är vanliga linjära rum (vektorrum) och morfismerna är de linjära avbildningarna.

Den mer tekniska formella definitionen avviker litet; se nedan.
Q395
matematiska
Concept
Q217413
kategoriteori
Concept
Q719395
kategori
Concept
Q36161
mängd
Concept
Q748349
matematisk struktur
Concept
Q1948412
morfism
Concept
Q12482
mängdteoretiska
Concept
Q11348
funktion
Concept
Q83478
grupper
Concept
Q83478
grupphomomorfi
Concept
None
kategorin av reella linjära rum
UNK
Q125977
linjära rum
Concept
Q207643
linjära avbildning
Concept
None
nedan
UNK
Q1575634
Konkret kategori
Concept
studies
subclass of
part of
part of
studies
part of
studies