- Surface、Surface ペン(端末)
- Windows 10 Pro (OS)
- Nebo(Windows アプリ)
- iPad Pro 10.5 + Apple Pencil
- MyScript Nebo - MyScript(iPad アプリ(iOS))
- 参考書籍
ベーシック圏論 普遍性からの速習コース (Tom Leinster(著)、斎藤 恭司(監修)、土岡 俊介(翻訳)、丸善出版)の序論、演習問題0.14-(d)の解答を求めてみる。
とともに、 問題0.14 (c)の普遍性を満たす余錐とする
図式。
線型写像について。
また、
同様に、
よって
同様に、
ゆえに f は同型写像なので、(c)で述べた普遍性をもつ余錐は本質的にただ一つ存在する。
(証明終)
0 コメント:
コメントを投稿