20181218101059
#今日の圏論
#圏論の基礎
関手の積②
昨日は関手の積を明示的に「対象と射」の割り当てで定義した。今日は図式を可換にするということで定める(らしい)。また、×自体がCat×CatからCatへの関手と見なせる。疑問が二つ。UU’はU…
https://t.co/v9Klhuv054
#20181218
#20181218101059
ツイート