ここ2,3年「二重圏がきてる」印象があります。応用圏論を牽引している一人であるイバン・パターソン〈Evan Patterson〉は今年の1月、トポス・インスティチュートのブログ記事に次のように書いています。 Lately I’ve been fixated on double categories, pur…