「半グラフからシステムの記述へ」においてスケマティック圏という概念を述べました。しかし、ハッキリした定義を提示したわけではなくて、曖昧に導入しています。 スケマティック圏〈schematic category〉は、特定の圏の固有名ではなくて、圏の種類です。公…