関手
20180902084438
#関手
#対象関数
#射関数
#冪集合関手
今日の圏論
は
圏論の基礎
p.15
いよいよ
関手
だ！定義はすぐ理解できた！圏の例がイメージできるからだ！理解すると字が汚くなる！書いているのがもどかしいから！
ツイート
https://img.textfile.org/twitter-1036173041112244228-1.jpg
関手の例として冪集合関手。具体的に要素まで降りることができるので理解の確認は大丈夫だ。《例示は理解の試金石》であるにゃあ。
https://t.co/55FnKGOhmX
https://img.textfile.org/twitter-1036179403380674561-1.jpg
関手はモルフィズム。モルフィズムというのはメタ圏の射。
#モルフィズム
#20180902