【圏論】同型だったら同一視していいの?【米田への道1】

Описание к видео 【圏論】同型だったら同一視していいの?【米田への道1】

同型だったら同じものだとみなすって言うけどそれって大丈夫なの? というのを考えます。

↓今回説明したことの「逆」を考える動画も作ったので良かったら見てください。
   • 【圏論】圏版「外延性公理」【米田への道2】  

↓初心者向け圏論動画リスト
   • 圏論(初心者向け)  

ーーーーーーーーーーーーーーーー
■圏論の話を文字で読みたい人は↓からPDFをDLしてください。
http://alg-d.com/math/kan_extension/

↓PDFではなく紙で読みたい人はAmazonで買えます
https://amzn.to/3C08Qqn

ーーーーーーーーーーーーーーーー
Vtuberのalg-d、略してV-alg-dです。
Twitter:   / alg_d  
Vのデザインとか:   / waheyhey  

↓チャプター用
00:00 はじめに
00:45 例えば群の場合
01:53 同型であることの説明
04:14 同型な群を同一視して問題ないの?
06:02 一般の圏の場合
10:45 "整合性"が取れているか?
14:28 まとめ

Комментарии

Информация по комментариям в разработке