なんやかんやで圏論勉強会をやることになりました。 やったこと 教科書はBasic Category Theory for Computer Scientists (Foundations of Computing)です。 各example,exerciseに担当者を割り当てて、解説してもらう形式で進めることになりました。 今回は…