categorieentheorie
Categorieentheorie is een tak van de wiskunde die zich bezighoudt met het abstract bestuderen van structuren en hun relaties. Een categorie bestaat uit objecten en morfismen (ook pijlen genoemd) tussen objecten. Elk object heeft een identiteitsmorfisme, en morfismen kunnen worden samengesteld; de associatieve eigenschap en identiteit zorgen ervoor dat complexe pijlen op een consistente manier kunnen worden opgebouwd.
Belangrijke bouwstenen zijn functors, die de structuur tussen twee categorieën behoudend vervoeren, en natuurlijke transformaties, die
Limits en colimits abstraheren concepten zoals producten, coproducten, pullbacks en pushouts. Een van de centrale resultaten
Historisch gezien ontstond categorieentheorie in de jaren veertig door Eilenberg en Mac Lane en is sindsdien
Door zijn abstracte aard biedt categorieentheorie een raamwerk voor het vergelijken en uniformeren van wiskundige concepten