数学の一分野である圏論において、部分終端オブジェクトとは、圏Cの対象Xであり、 Cのすべての対象はXへの射を最大で 1 つしか持たないという性質を持つものである。[1] X が部分終端オブジェクトである場合、恒等射のペア (1 X , 1 X )により、 XはXとXの積になる。C が終端オブジェクト1を持つ場合、オブジェクトXが部分終端オブジェクトである場合は、それが1 の部分オブジェクトであるため、この名前が付けられる。[2]部分終端オブジェクトとそれを保存する関数を持つ圏の圏はアクセス可能ではない。[3]
参考文献
- ^ Pitt, David; Rydeheard, David E.; Johnstone, Peter (1995年9月12日). カテゴリー理論とコンピュータサイエンス: 第6回国際会議, CTCS '95, ケンブリッジ, イギリス, 1995年8月7日 - 11日. Proceedings. Springer . 2017年2月18日閲覧。
- ^ Ong, Luke (2010年3月10日). ソフトウェア科学と計算構造の基礎：第13回国際会議、FOSSACS 2010、欧州ソフトウェア理論実践会議ETAPS 2010の一環として開催、キプロス、パフォス、2010年3月20日～28日、議事録。Springer . ISBN 9783642120329. 2017年2月18日閲覧。
- ^ バー、マイケル；ウェルズ、チャールズ（1992年9月）「スケッチの限界について」カナダ数学速報35 （ 3）カナダ数学会誌：287-294 . doi：10.4153/CMB-1992-040-7。
外部リンク
