せつラボ 〜圏論の基本〜 で 省略された証明集 技術書典6で配布された、 「せつラボ〜圏論の基本〜」で、 簡単のために省略された証明集です。 「圏」の章 恒等律 - 圏Haskの任意の射f, gと関数合成演算子. 「様々な対象と射」の章 f &&& gが三角形を可換にすること 「関手」の章 関手L : Sets -> Tordが関手の定義を満たすこと