ファンクタ

noun

functor

Technical term in mathematics and computer science; a mapping between categories or a function object. The cross-reference 関手 is the Japanese equivalent.

See also: 関手

• 圏けん論ろんでは、ファンクタは圏けんの間あいだの構こう造ぞうを保たもつ写しゃ像ぞうである。

  In category theory, a functor is a structure-preserving map between categories.

• Haskellでは、ファンクタはfmap関かん数すうを持もつ型かたクラスとして定てい義ぎされる。

  In Haskell, a functor is defined as a type class with the fmap function.