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