「スタート表現論にいそしむ貴方のための圏論」（http://atnd.org/events/19214）の後半で話した資料： アーベル圏のほうから来ました 準同型定理（の形の公理）の記述のために、与えられた射fから図で見て平行な射を下側に作るところで、「うーん、ダメだ、…