BeDict Logo

functor

/ˈfʌŋktə/
の視覚的イラスト functor: 関手、函手
noun

カテゴリーの圏、mathbb{CAT}において、対象はカテゴリーであり、射は関手です。