圏論で考えようの動画は3-8までやった． 気になったこと あと，授業でやった集合と論理の復習をしていてやはり気になったところがあるので書いておこう． いつも思うのだけど，全称命題 の証明をするときに と固定して， が真であることを証明するという手続…