http://jp.arxiv.org/abs/1201.6185

http://jp.arxiv.org/abs/1201.6343

http://jp.arxiv.org/abs/1201.6635

集合 集合族 写像の族 等式の族 元の族 等式の族 の組 を 小圏 という． の元を対象， の元を射という． が集合にならない場合も含めて， を 圏 という． 厳密には，universe という巨大な集合を固定して，対象，射の集合 はその元とする． が universe の元…