Luigi Santocanale →http://www.lif.univ-mrs.fr/~lsantoca/ 2001年くらいから論文発表をはじめているので、まだ若いのかな？μ-双完備圏(μ-bicomplete categories）を中心に、線形論理、巡回的証明、ゲーム・セマンティクスとかをやっている。注目のヒトです…

google:"GS Monoidal categories" けっこう引っかかる。やはり、コラディニ、ガダッチ、モンタナリ（Andrea Corradini / Fabio Gadducci / Ugo Montanari）あたり。ちなみに、セリンガーの用語"category with diagonals"はセリンガーしか使ってない感じだ。 …