インスティチューションは、構文とモデルを区別する。もともとがモデル論だから当たり前だ。が、コンピュータでは、その構文領域もデータ領域としてモデルの世界に入り込む。ここが問題。インスティチューションの構造を残しながらも、構文（項）がモデルの…

ウィラートンの3次元絵算から：これは、関手M:C→Dがモノイド関手である条件（法則）のなかに出てくる比較射（法則の構造射ともいえる）に対する一貫性条件。ここで等号「=」が使われている。が、これらの図形はどう見たって等しくない。左から右、または右か…