// // J.P.MayのA Concise Course in Algebraic Topologyの自分用勉強ノート．練習問題も解く． 2.1 圏論 圏: 圏とは対象の集まりと，任意の対象に対し定義される射の集まりの組みで以下を満たすものとする． 任意のに対しが存在する． 任意の対象に対しが存…