In de wiskunde, in het bijzonder de categorietheorie, is een functor een afbeelding tussen categorieën. Functors werden voor het eerst beschouwd in de algebraïsche topologie, waar algebraïsche objecten worden geassocieerd met topologische ruimten, en kaarten tussen deze algebraïsche objecten worden geassocieerd met continue kaarten tussen ruimten.
Hoe definieer je een functor?
In functioneel programmeren is een functor een ontwerppatroon geïnspireerd op de definitie uit de categorietheorie, dat een generiek type in staat stelt om een functie binnenin toe te passen zonder de structuur van het generieke type te veranderen. Dit idee is gecodeerd in Haskell met behulp van typeklasse. klasse Functor f waar fmap:: (a -> b) -> f a -> f b.
Is een functor een morfisme?
Identiteitsfunctie: in categorie C, geschreven 1C of idC, wijst een object aan zichzelf toe en een morfisme aan zichzelf. De identiteitsfunctie is een endofunctor.
Wat is een functor in de taalkunde?
Functiewoord in de taalkunde. Bij computerprogrammering: Functor (functionele programmering) Functieobject dat wordt gebruikt om functieaanwijzers samen met statusinformatie door te geven. voor gebruik van de term in Prolog-taal, zie Prolog-syntaxis en semantiek.
Is lijst een functor?
Volgens de Haskell-ontwikkelaars zijn alle typen zoals lijst, kaart, boom, enz. de instantie van de Haskell-functie.
