アプリケーション領域

ドクトリン、アンビエント圏、derivatorにより構成される構造をアプリケーション領域と呼ぶことにする。基本的なことは、次に書いてある。

• 一般関手モデル：インスティチューションとの関係 - 檜山正幸のキマイラ飼育記

D⊆Cat と、圏Presがあって、D(Cat(P), C) ＝ Pres(P, Uncat(C)) という双対 Cat -| Uncat がある状況で考える。Der:D→CATがderivatorで、アンビエント圏Aは、Der(e)（eは単位圏）として与えられる。