[rentwi.hyuki.net]

#今日の圏論 #圏論の基礎
昨日は共変hom関手の定義でした。
今日は反変hom関手の定義。
hom(g,b)は関数(Setの射)
hom(a’,b)とhom(a,b)はCの射の集合(Cのhom集合) https://t.co/kaFiqQNflC

FAQへの答えを前もってリンクしておきます
https://twitter.com/hyuki/status/1069916582976008192?s=21

2018-12-06 (Thu) 23:46:32