2016-09-27 A, Dの意味合い 2016 Mx A : one two, three, ... D : double, quadruple, octuple, ... Aは、ささやかな一律単利 Dは、エグい複利 出てくる圏 Set(またはFinSet) PtSet Aのクライスリ圏でありアイレンベルクムーア圏 極性付き対合付き集合の圏=不動点のない対合付き集合=コベクトル付き対合集合の圏=Aのクライスリ圏 対合付き集合の圏=Dのアイレンベルクムーア圏