普遍性
エミリー・リール(Emily Riehl)は『Category Theory in Context』において、圏 C の対象 c に対する普遍性(英: universal property)を次のように定義している: