functor

In de categorietheorie, een onderdeel van de wiskunde, is een functor een speciaal soort afbeelding tussen categorieën. Functors kunnen worden gezien als morfismen in de categorie van kleine categorieën.