2011-06-12から1日間の記事一覧
Conceptual Mathematics Article IV Exercise 17*1を解こうとして行き詰まった。 問題は以下。S は集合圏で、B はそれぞれの圏の対象。 In S, S↓↓, and S◯, sums have the property that any point of B1 + B2 comes via injection from a point of exactly …
Conceptual Mathematics Article IV Exercise 17*1を解こうとして行き詰まった。 問題は以下。S は集合圏で、B はそれぞれの圏の対象。 In S, S↓↓, and S◯, sums have the property that any point of B1 + B2 comes via injection from a point of exactly …