数学の様々な分野において、ある特定の状況下にて一意に
射(英:morphism)を定めるような抽象的性質が、特定の構成を定義、あるいは特徴づけたりする事がしばしばある。このような性質を普遍性(英:universal property)と呼ぶ。普遍性は
圏論を用いて抽象的に論考される。結果として、我々は普遍性の一般的な扱い方を得ることになろう。いくつかの例を最初に学ぶ方が賢明である。例えば、
群の
直積や
直和、
自由群、積位相, ストーン-チェックのコンパクト化,
テンソル積,
逆極限 と
順極限, 核と余核, 引き戻し, 押し出し および イコライザ、など。( (08:43, 27 October 2005)より翻訳)
Wikipedia.orgをもっと見ると…