普遍射についてもう少し が左随伴 を持つとき, 双対的に は右随伴 を持つのでした.自然同型 において に対応する射を としましょう. このとき に対して, これに対応する を取れば, これが を満たすただ一つの射です.このときの が から への普遍射です. 極限…

年忘れ圏論大会 ! (ぁ1 年半ぶりの記事の前に, ちょっとブログの今後の運用について.連載記事に関しては, 今書いている圏論の話が一段落したら終了とします. 今後はサイトを作ってそちらでまとめていく予定です. 今後は単発のトピックのみ取り扱っていきます…