2007-05-22 後で書く 雑記 課題 エルブラン・モデルから考えた圏の始類(initial class)、または図形的な印象からは始面(initial facet)。 単純対象と半単純圏 圏合同とエルブラン/リンデンバウム構成