Red cat の数学よもやま話・新装開店

はてなダイアリー「Red cat の数学よもやま話」から徐々にこちらに移行していきます。

2016-06-16から1日間の記事一覧

楽しい圏論(その 2)

一ヶ月ほど間が空いてしまいましたが, ようやくブログを書ける状態になってきたので再開します. 函手の定義 を二つの圏(の射のクラス)とします. クラス関数 は, 以下の二つの公理を満たすとき, 函手(functor)であると言います. が の恒等射ならば は の恒等…