可換群の例（扱う） Zの足し算 R2, R3の足し算 Zの剰余類（余りを使った同値類）の可換群 平面の原点中心回転群 O(2)（実はRで2πの余りを使った剰余類の群） 非可換群の例（参考まで） 対称（置換）群 S(3) でも十分。S(3)は6元。アミダ表現 行列群 SL(2), S…

どうもまとまってないが、とりあえずメモしておく。X上の同値関係があって、その同値類をどう名指しするか。 それぞれの類に名前（番号、インデックス）を付ける。インデキシング I→Pow(X) 類ごとの代表元を使う。代表の選択 (X/〜)→X 選択関数だから選択公…

forvoで聞いた感じでは： × ジャン＝ルイ・コスル ○ ジョン＝ルイ・コジュール 「コジュール」と書くことにしよう。

ストライプ、シート、スライス、膜の集まり。線形写像の逆像ファイブレーションとかもコレ。*1 *1:画像: http://lowch.com/archives/8114 より

今日はメモだけだが、全微分公式と偏微分公式は公理ではなくて定理になる。