圏の対象は A, X, Y など、射は u, v, f, p, q などで表します。スライス圏／余スライス圏の代わりに、オーバー圏／アンダー圏という言葉を使います（「オーバー圏、アンダー圏」を参照）。最近僕は、Aのオーバー圏を C/A、Aのアンダー圏を A/C と書くのが気…