忠実関手 F:C→D がある事と、C⊆D とみなせる事は違う。事例を示す。集合圏Setの対象（つまり集合）のなかから、基数が可算無限であるモノを全て選び出して類Ωを作る。Ω⊆|Set| であるので、Ωを対象類とするSetの充満部分圏が一意に決まる。その圏をω-Setとす…

Standard MLが圧倒的に良くできているな。オーバーロードを意図してない、型システムじゃない、という問題点はあるが、許せる、許せる。Haskellは「悪いお薬」をキメている。当座はとても元気が出るが、いずれは心身を蝕むアレ。型名に対するコアージョンを…