2015年12月29日火曜日

関手 functor

圏と圏との間の対応付けのことを関手という。
関手は対象関数と射関数の組からなる。
投稿者 時刻:

0 件のコメント:

コメントを投稿

注: コメントを投稿できるのは、このブログのメンバーだけです。

登録: コメントの投稿 (Atom)