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. 

Functors werden voor het eerst onderzocht in de algebraïsche topologie, waar algebraïsche objecten (zoals de fundamentaalgroep) worden gekoppeld aan topologische ruimten, en algebraïsche homomorfismen worden gekoppeld aan continue afbeeldingen. Tegenwoordig worden functors in heel de moderne wiskunde gebruikt om verschillende categorieën aan elkaar te relateren. Het woord "functor" werd door wiskundigen geleend van de filosoof Carnap [ Mac Lane, blz. 30]. Carnap gebruikte de term "functor" in relatie tot functies op dezelfde wijze zoals predicaten zich verhouden tot eigenschappen. [Zie Carnap, The Logical Syntax of Language (De logische syntaxis van de taal), blz.13-14, 1937, Routledge & Kegan Paul.] Voor Carnap was een functor, dit in tegenstelling tot het moderne gebruik in de wiskundige categorietheorie, een taalkundige term. Voor categorietheoretici staat een functor voor een bepaald soort functie.
Q217413
categorietheorie
Concept
Q395
wiskunde
Concept
Q370502
afbeelding
Concept
Q719395
categorieën
Concept
Q1948412
morfisme
Concept
None
categorie van kleine categorieën
UNK
Q212803
algebraïsche topologie
Concept
None
algebraïsche object
UNK
Q662830
fundamentaalgroep
Concept
Q179899
topologische ruimte
Concept
Q215111
homomorfisme
Concept
Q170058
continue
Concept
Q719395
categorie
Concept
Q5891
filosoof
Concept
Q76519
Carnap
PER
None
predicaten
UNK
Q937228
eigenschap
Concept
Q8162
taalkundige
Concept
Q11348
functie
Concept
Q864475
Functor
Concept
Q864475
Functor
Concept
1937-01-14T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
14, 1937
DATE
+30^^http://www.w3.org/2001/XMLSchema#decimal
30
NUMBER
+13^^http://www.w3.org/2001/XMLSchema#decimal
13
NUMBER
part of
studies
subclass of
studies
part of
field of work