2025-05-09
随伴系の十項目（ショートチートシート）
雑記／備忘
随伴系〈adjunction | adjoint system〉は左関手と右関手のペアとして、$`F \dashv U`$ のように書かれることが多いですが、これらは随伴系という構造の下っ端なヤツラです。注目すべきは、以下のモノとコトです。$`\newcommand{\cat}[1]{\mathcal{#1}} \new…
【復旧済み】人力検索はてなにつながりにくくなる障害が発生していました
人力検索はてな 日記 (265)
やがてくる大増税時代に豊かに生活するために準備すべきこと