2019年7月9日火曜日

ベーシック圏論 普遍性からの速習コース (Tom Leinster(著)、斎藤 恭司(監修)、土岡 俊介(翻訳)、丸善出版)の序論、演習問題0.14-(c)の解答を求めてみる。



    1. 図式。

      よって、 求める問題の余錐は、

      Q = X Y g : X Q g x = x , 0 h : Y Q h y = 0 , y Q , q 1 , q 2 = X Y , g , h

      実際に確認。

      f : X Y V f x , y = f 1 x + f 2 y f q 1 x = f g x = f x , 0 = f 1 x + f 2 0 = f 1 x f q 2 y = f h y = f 0 , y = f 1 0 + f 2 y = f 2 y

0 コメント:

コメントを投稿

関連コンテンツ