本編でも書いたDOTNの話。F, G:C→D で f:a→b in C だとする。α::F⇒ G:C→D があるとして、f.F, f.G, a.α, b.α を4辺とする可換四角形ができる。この四角形を f.α と書くことにする。f.αは、D→という関手圏の射として意味を持つ。f.α:f.F→f.G in D→ となる。さ…