>>772
米田の補題の証明が難しいという学生はそもそも数学に向いてない。
または数学の証明というものに慣れてないか。
論理的な考えに慣れてないか。
とにかく圏論やるのは10年早い。