「二重圏のコンパニオン／コンジョイントと米田の星」の冒頭で： 形式圏論を考える舞台として2-圏より二重圏のほうが良さそうな気がします。ちょっとした状況証拠をひとつ挙げます。 “二重圏を使った圏論”について考えているわけです。「コーナー、キンク、…