デカルト圏の定義

• デカルト圏、こんな定義もあります - 檜山正幸のキマイラ飼育記 (はてな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. ）