2020-01-27 デカルト圏の定義 本編ネタ 圏一般論 デカルト圏、こんな定義もあります - 檜山正幸のキマイラ飼育記 (はてなBlog)(2011年) [上記の]デカルト圏の定義を言い換えてみましょう。この言い換えは[、次の概念を確認するために]良い練習問題です。 上記記事を「過去記事」と呼ぶ。 過去記事 最近 圏 C 圏 C 自明圏 1 自明圏 I アトム * アトム 0 関手 S 関手 K (a.k.a. !') 関手 D 関手 Δ (a.k.a. δ') 関手 T 関手 J (a.k.a. i') 双関手 P 双関手 P (a.k.a. )