圏論（数学の一分野）において、部分終端対象とは、圏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日。議事録。Springer。2017年2月18日取得。
↑ Ong, Luke (2010年3月10日).ソフトウェア科学と計算構造の基礎：第13回国際会議、FOSSACS 2010、ソフトウェアの理論と実践に関する欧州合同会議ETAPS 2010の一部として開催、キプロス、パフォス、2010年3月20日～28日、議事録。Springer。ISBN97836421203292017年2月18日に取得。
↑ Barr, Michael; Wells, Charles (1992年9月) 「スケッチの限界について」 Canadian Mathematical Bulletin . 35 (3). Canadian Mathematical Society : 287– 294. doi : 10.4153/CMB-1992-040-7 .
