コンマ圏
圏 C の対象を a とする。a の T-上方の対象からなる圏(the category of objects T-over a;(T↓a) )とは、a をコドメインとする射 g : T e → a とそのドメインの元となる対象 e との組 <e,g> を対象、ドメインの元となる対象間の射 k : e → e' で g = g'・T k を満たすものを射 k : <e,g> → <e',g'> とする圏である。