ファンクタ

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.

• プログラミングでは、ファンクタは特とく定ていの操そう作さを持もつ型かたとして説せつ明めいされる。

  In programming, a functor is described as a type with certain operations.