Statements (44)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:product
gptkb:concept |
| gptkbp:defines |
functorial laws
functorial mapping mapping of categories mapping of contexts mapping of contexts in programming mapping of functions mapping of operations mapping of properties mapping of relations mapping of structures mapping of types mapping of values preservation of composition of morphisms preservation of identity morphisms |
| gptkbp:has |
Cont functor
Either functor Identity functor List functor Option functor Reader functor State functor Writer functor |
| gptkbp:has_property |
maps morphisms to morphisms
maps objects to objects |
| gptkbp:has_style |
contravariant functor
covariant functor endofunctor functor category |
| https://www.w3.org/2000/01/rdf-schema#label |
Functor
|
| gptkbp:is_related_to |
gptkb:product
gptkb:item morphism applicative functor monad |
| gptkbp:is_used_in |
gptkb:language
gptkb:typeface functional programming |
| gptkbp:relationship |
functoriality
natural transformation composition of functors |
| gptkbp:bfsParent |
gptkb:Frobenius_Morphism
|
| gptkbp:bfsLayer |
5
|