コンマ圏 の対象は のようなもので、これを [tex:] と書く。 ここで、2つの関手を定義する。（射影関手？） [tex:P^c\hspace{3}=\hspace{3}m] [tex:Q^c\hspace{3}=\hspace{3}f] すると、 は錘と考えることができる。 定義 が稠密とは、各 について が成り立…