arXiv探訪

興味の赴くままに数学するだけ

2017-04-20から1日間の記事一覧

33.函手と自然変換

目次 前回括弧付きで(コ)と書いたのに、本文では一言も触れてないという(笑)後で適当に加えておこう。 函手 二つの圏を対応付けるものとして函手を導入する。 定義 を圏とする。の対象に対しの対象が定まり、またの射に対しの射が定まるとする。恒等射に…