2020-05-12    圏論    反対圏    定義  

反対圏の定義

結論

反対圏の定義について書きました。

反対圏の定義（PDF）

経緯

1. 反変関手の動画を観ていて、まず反対圏を復習した方がいいと感じました。

2. 反対圏の復習のつもりでタイムラプス動画を公開しました。

https://video.hyuki.net/20200511221452-e2e23702fbab8497-op.mp4

3. 梅崎さんからご指摘を受けました（感謝）。

4. 考えて書き直しました。

5. なっふぃさんからのご指摘を受けました（感謝）。

6. さらに修正しました。

7. そうやってできたのが、冒頭のPDFです。

 2020-05-12    圏論    反対圏    定義