peng225 https://blog.hatena.ne.jp/peng225/ ペンギンは空を飛ぶ https://peng225.hatenablog.com/ 圏論 米田の補題が分かりたい 最近、圏論の勉強が進んでついに米田の補題まで辿り着いた。何を隠そうこれまで圏論を勉強してきた目標は米田の補題を理解することだったので、ここは是非ともちゃんと理解したい。しかし、数年前に勉強したときもそうだったが、米田の補題は何を言っているのかさっぱり分からない。そもそも前提となる表現可能関手が難しいし、関連して登場する米田埋め込みとかuniversal elementとかも何がしたいのかよく分からない。前回はそれで挫折してしまったのだが、今回は随伴までの内容を多少まじめに勉強したこと、およびChatGPTが使える世の中になったことで、多少なりとも米田の補題が言わんとする… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fpeng225.hatenablog.com%2Fentry%2F2026%2F05%2F30%2F221824" title="米田の補題にまつわるあれこれを具体例を通して整理してみる ～ 表現可能関手と米田の補題 - ペンギンは空を飛ぶ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/p/peng225/20260527/20260527233927.png Hatena Blog https://hatena.blog 2026-05-30 22:18:24 rich https://peng225.hatenablog.com/entry/2026/05/30/221824 1.0 100%