このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

低層階レイヤー

インスティチューション セオリー論

通常集合論

レイヤー 選択されたインスタンス アンビエント
レイヤー 3 I3 = s2-圏 CAT A3 = s3-圏 s2-\mathbb{CAT}
レイヤー 2 I2 = 圏 Set A2 = s2-圏 CAT
レイヤー 1 I1 = 集合 A A1 = 圏 Set
レイヤー 0 I0 = 要素 a A0 = 集合 A

線形代数的モノイド論

レイヤー 選択されたインスタンス アンビエント
レイヤー 3 I3 = s2-デカルト圏 CAT A3 = s3-デカルト圏 s2-\mathbb{CAT}
レイヤー 2 I2 = モノイド圏 Vect A2 = s2-デカルト圏 CAT
レイヤー 1 I1 = モノイド M A1 = モノイド圏 Vect
レイヤー 0 I0 = ベクトル v A0 = ベクトル空間 V