トポスの定義1（p.82）に誤りがある．p.80 の注意 2) が誤りで，subobject classifier の pullback の存在を仮定する必要がある．竹内外史「層・圏・トポス」日本評論社 (1978) では，pullback の存在を subobject classifier の定義に入れているが，トポス…

Schwarz の提灯と吉村パターン．帰りに新宿駅のホームでミヤザキさんに遭遇．

正規部分群と商群．