2009-01-17 点が十分ある対象 プログラム意味論 圏一般論 メモ 横内さんの本にあったからメモ。対象Aが has enough points または is well-pointed とは、任意のf, g:A→A に対して、f ≠ g ⇒ ∃a:1→A.( a;f ≠ a;g)。「任意のf, g:A→A」を「任意のXと、任意のf, g:A→X」にしても同じ。