[rentwi.hyuki.net]

#今日の圏論
いつもお昼ごはんの後に20分ほど仮眠するのですが、そのときに「圏の定義」から始まって、関手、自然変換と定義を順番に思い浮かべ、例を思い浮かべるように心がけています。……というと勉強熱心なようですが、実はすぐに眠れるからです。「圏の定義」の射の合成で眠っちゃう(早すぎ!)

#今日の圏論
それはさておき「定義を振り返る」練習は歩きながらでもできるのでいいですよ。自問自答もいいです。「対象が1個の圏はありますか?あります。群になる」「どんな射のドメインにもなっていない対象はありますか。ありません。恒等射があるから」みたいな。

2021-09-14 (Tue) 13:21:08