オリンパス敗訴で明らかになった女弁護士のブラック過ぎる手口｜日刊サイゾー そういえば森・濱田松本法律事務所には(ry と思ったらもういなかった。ふーん。

考える圏を S とする。 S のある対象 A に対して S の任意の対象 Z との直積 A × Z が存在するとする。このとき、A と直積をとる操作は S から S への関手になっている: A×-: S → S この直積関手から S の対象 X への普遍射を考える。すなわち、S のある対象…