[rentwi.hyuki.net]

#今日の圏論 #圏論の基礎
共変hom関手C(a,-):C→Set
定義は追えるけどまだ「お気持ち」はよくわからないなあ。 https://t.co/an3xnSJKcK

#今日の圏論
aをピン📌を打つみたいに止めといて、圏Cの様子をhom(a,-)に写して見てるっぽいけど「だから何」みたいな気分。

#今日の圏論 #圏論の基礎
一般のC→Setに注目するという視座を三好先生からいただきました(恐縮)。なるほど…🤔
https://twitter.com/metaphusika/status/1070326478854737920?s=21

2018-12-05 (Wed) 22:14:53