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