categorietheorie (wiskunde)

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.