andante

鼻風邪度が上がってきました。うーむ。

随伴関手の性質をぷちぷちと証明しています。教科書の証明が嘘っぽかったから自分で別証明したりとか、ちょっと強くなった感じ。でもなかなか進まないのはちょっとあれですね。焦ってはいけない。