コンマ圏
圏 C の対象を b とする。b の S-下方の対象からなる圏(the category of objects S-under b;(b↓S) )とは、b をドメインとする射 f : b → S d とそのコドメインの元となる対象 d との組 <f,d> を対象、コドメインの元となる対象間の射 h : d → d' で f' = S h・f を満たすものを射 h : <f,d> → <f',d'> とする圏である。