Categorie (wiskunde)

Dit artikel slaat op het begrip categorie uit de wiskundige categorietheorie. Voor het topologische begrip met dezelfde naam, zie categorie (topologie).

In de categorietheorie, een deelgebied van de wiskunde, is een categorie een klasse van objecten met overeenkomstige structuur, en morfismen tussen die objecten die de overeenkomst tussen de objecten symboliseren. De categorietheorie is een zeer abstracte theorie, die behoort tot de wiskundige logica, en door zijn algemeenheid toegepast kan worden op vele andere wiskundige gebieden, zoals de topologie, de verzamelingenleer, de groepentheorie en de algebra. Een aantal stellingen en definities binnen deze takken van wiskunde blijken slechts in termen van de objecten en afbeeldingen ertussen te kunnen worden uitgedrukt.