ここ2,3年「二重圏がきてる」印象があります。応用圏論を牽引している一人であるイバン・パターソン〈Evan Patterson〉は今年の1月、トポス・インスティチュートのブログ記事に次のように書いています。 Lately I’ve been fixated on double categories, pursuing a range of theoretical and applied directions. 最近、私は二重圏に魅入られており、理論および応用の様々な方向性を幅広く追求しています。 パターソンの記事は、二重圏について紹介・解説するシリーズの一回目です。 Title: Why do…