Back نظرية الفئة Arabic Teoría de categoríes AST Теория на категориите Bulgarian ক্যাটাগরি তত্ত্ব Bengali/Bangla Teoria de categories Catalan Teorie kategorií Czech Категорисен теорийĕ CV Theori categori Welsh Kategoriteori Danish Kategorientheorie German
De categorietheorie is een abstract onderdeel van de wiskunde dat zich bezighoudt met het bestuderen van de algemene eigenschappen van wiskundige structuren, door het vergelijken van wiskundige objecten waartussen structuurbehoudende afbeeldingen, pijlen of morfismen genoemd, zijn gedefinieerd. Voorbeelden zijn groepen met hun groepshomomorfismen en topologische ruimten met hun continue afbeeldingen. Een dergelijke structuur met objecten en morfismen wordt categorie genoemd.
Een van de eenvoudigste voorbeelden van een categorie is die van een groepoïde. Een groepoïde is een belangrijk concept binnen de topologie dat wordt gedefinieerd als een categorie waarvan alle morfismen inverteerbaar zijn.
Categorieën werden voor het eerst gebruikt door Samuel Eilenberg en Saunders Mac Lane, maar het was Alexander Grothendieck die de wiskundige gemeenschap overtuigde van de voordelen, morfismen onafhankelijk van hun vorm als afbeeldingen tussen verzamelingen te bekijken.