スピヴァックの関手データモデルでは、圏の表示が重要な役割を果たします。なにもスピヴァック理論にかぎらず、圏一般において表示は重要です。特に有限表示（finite presentation）は、我々人間が手で圏を書き下す唯一の方法と言っていいでしょう。そこで、…