この記事は圏論勉強会第5回のビデオの勉強ノートです。自分の頭の中ではまだ辻褄が合っています。 第5回圏論勉強会@ワークスアプリケーションズ 第5回 射で考える 同型、同型射、逆射 対象A, Bが同型とは、 $$\xymatrix{ A \ar@(ul,dl)[ ]_{id_A} \ar@<0.5em…