おとなりアンテナ | おすすめページ
2025-05-09随伴系の十項目（ショートチートシート）雑記／備忘随伴系〈adjunction | adjoint system〉は左関手と右関手のペアとして、$`F \dashv U`$ のように書かれることが多いですが、これらは随伴系という構造の下っ端なヤツラです。注目すべきは、以下のモノとコトです。$`\newcommand{\cat}[1]{\mathcal{#1}} \new…
