Functorcategorie
In de categorietheorie, een abstract deelgebied van de wiskunde, kunnen de functoren tussen twee gegeven categorieën zelf worden omgezet in een categorie; de morfismen in deze functorcategorie zijn de natuurlijke transformaties tussen functors. Functorcategorieën zijn om twee belangrijke redenen van belang:
* Vele gebruikelijke categorieën zijn (verkapte) functorcategorieën, zodat elke stelling die wordt bewezen voor algemene functorcategorieën breed toepasbaar is;
* Elke categorie is ingebed in een functorcategorie (via de Yoneda-inbedding); de functorcategorie heeft vaak mooiere eigenschappen dan de oorspronkelijke categorie, waardoor bepaalde operaties die niet beschikbaar waren in de oorspronkelijke setting nu zijn toegestaan.

Een element van een functorcategorie wordt soms een diagram genoemd.
Q217413
categorietheorie
Concept
Q395
wiskunde
Concept
Q864475
functor
Concept
Q200
twee
Concept
Q719395
categorie
Concept
Q1948412
morfisme
Concept
Q1442189
natuurlijke transformatie
Concept
Q980509
ingebed
Concept
Q3884033
operatie
Concept
Q379825
element
Concept
Q843237
diagram
Concept
Q2007878
Functorcategorie
Concept
studies
part of
subclass of
part of
studies
studies
studies
part of
part of
part of
studies