ステファネスク師匠（Gheorghe Stefanescu; 「師匠」と呼ぶのは、私淑しているからです）は、圏論もエキスパートと言ってよいと思いますが、あえて圏論を表に出さない傾向があります。あと、コォゼン先生（Dexter Kozen）も、滅多に圏論には言及しない（けど…