peng225 https://blog.hatena.ne.jp/peng225/ ペンギンは空を飛ぶ https://peng225.hatenablog.com/ 圏論 前回の記事では圏同値について例を用いて説明した。本稿ではその続きとして随伴について小さな例を用いて考えてみる。 随伴 随伴の定義を本[1]より引用する。 随伴 Let be categories and functors. We say that is left adjoint to , and is right adjoint to , and write , if naturally in and . (・・・中略・・・) An adjunction between and is a choice of natural isomorphism (2.1). ここで、"naturally i… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fpeng225.hatenablog.com%2Fentry%2F2026%2F02%2F12%2F000537" 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/20260211/20260211143504.png Hatena Blog https://hatena.blog 2026-02-12 00:05:37 rich https://peng225.hatenablog.com/entry/2026/02/12/000537 1.0 100%