圏論やってると米田さんにお世話になる機会も多いと思うが， イマイチ意味も使い方も分からんいう僕みたいな人向けの記事です． 記事を書くにあたって，主に 圏論番外：米田の補題の周辺から(via 檜山檜山正幸のキマイラ飼育記) や， MathAdventCalenderの12…