理学部の安全教育、学科ごとに特色があるんですよね。命に関わりますから。 物理学科 「電源切ったからってコンデンサ触るな。電荷残ってるぞ。感電して死ぬぞ」 化学科 「フッ酸だけは絶対舐めるな。痛くなくても安心するな。あとから死ぬほど痛くなるぞ」 生物学科 「遠心機のバランスだけはちゃんと取れ。ローター飛んだら体に穴あくぞ」 地球科学科 「露頭に夢中になって崖の真下に立つな。落石で頭かち割られるぞ」 数学科 「……待って待って、これ局所化したら消えるじゃん……じゃあtorsionか……いや違う、stalkで消えてるなら層としてゼロ？　いや全stalkならそうだけどderivedで見たら……あ、待て、R¹が残るのか……Čechじゃ拾えない？　被覆が悪いだけ？　refinement取れば……いやそれhypercoverまで行くやつじゃん……ちょっと待って、そもそもsite変えたら同じtoposになる？……Morita的には同じ？……いや“同じ”って何だよ、equivalenceで十分だろ……でも∞圏に上げた瞬間higher coherence全部返ってくるじゃん……うわ、じゃあこれ最初からhomotopy limitで取ればよかったのか……いやlim¹出るだろ……出るよな……出ない？……Mittag-Lefflerなら消える……待って、射が全射とは限らない……じゃあcompletion取ったら……いやcompletionとlocalization交換しないだろ……どの仮定で交換するんだ……Noetherian？……有限生成？……あ、Krull intersection……違う違う今それじゃない……でも似てる……似てるって何……関手が同じ影を落としてるだけか……Yonedaで見れば……いやYoneda持ち出したら全部そうだろ……