Jump to content

Субтерминальный объект

В теории категорий , разделе математики, субтерминальный объект — это объект X категории C , обладающий тем свойством, что каждый объект имеет не более одного морфизма в X. C [1] Если X субтерминально, то пара тождественных морфизмов (1 , 1 X ) превращает X в произведение X X и X . Если C имеет терминальный объект 1, то объект X является субтерминальным тогда и только тогда, когда он является подобъектом 1, отсюда и название. [2] Категория категорий с субтерминальными объектами и сохраняющими их функторами недоступна . [3]

Ссылки [ править ]

  1. ^ Питт, Дэвид; Райдхард, Дэвид Э.; Джонстон, Питер (12 сентября 1995 г.). Теория категорий и информатика: 6-я Международная конференция, CTCS '95, Кембридж, Великобритания, 7–11 августа 1995 г. Материалы . Спрингер . Проверено 18 февраля 2017 г.
  2. ^ Онг, Люк (10 марта 2010 г.). Основы науки о программном обеспечении и вычислительных структур: 13-я международная конференция FOSSACS 2010, состоявшаяся в рамках совместных европейских конференций по теории и практике программного обеспечения, ETAPS 2010, Пафос, Кипр, 20-28 марта 2010 г., Материалы . Спрингер . ISBN  9783642120329 . Проверено 18 февраля 2017 г.
  3. ^ Барр, Майкл; Уэллс, Чарльз (сентябрь 1992 г.). «Об ограничениях эскизов» . Канадский математический бюллетень . 35 (3). Канадское математическое общество : 287–294. дои : 10.4153/CMB-1992-040-7 .

Внешние ссылки [ править ]

Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: e5d6f6049e82d7f956d30fe9c0b2a37e__1699436040
URL1:https://arc.ask3.ru/arc/aa/e5/7e/e5d6f6049e82d7f956d30fe9c0b2a37e.html
Заголовок, (Title) документа по адресу, URL1:
Subterminal object - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)