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.