メモです。2020年10月あたりから考え始めて、2021年5/12に解決した、淡中随伴の証明をします。 まえがき 反変随伴 淡中随伴 準備 圏の構成 関手の構成 単位の構成 余単位の構成 証明 まえがき 淡中随伴とは、大雑把に言えば 圏MonVと圏V-Cat/Vの間に 関手End…