射だけで圏を定義する【圏論】

「対象」は使わず「射」だけで圏を定義する方法を解説します。
要するに圏の対象 a は id_a と同一視できるということです。

↓参考文献
https://ncatlab.org/nlab/show/single-...

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

↓むずかしい方の圏論動画リスト
   • 圏論  

ーーーーーーーーーーーーーーーー
■動画の途中で登場する動画
圏版「外延性公理」
   • 【圏論】圏版「外延性公理」【米田への道2】  
本質的全射・本質的単射・忠実充満
   • 【圏論】本質的全射・本質的単射・忠実充満【初心者向け】  

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

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

ーーーーーーーーーーーーーーーー
■マシュマロ(なんでも送ってください)
https://marshmallow-qa.com/79m5047j5u...

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

↓チャプター用
0:00 はじめに
1:03 圏とcategory
1:19 categoryの定義
3:54 圏⇒category
8:30 category⇒圏