Субтерминальды нысан - Subterminal object

Жылы категория теориясы, математика бөлімі, а субтерминальды объект объект болып табылады X а санат C әрбір объектінің меншігімен C ең көбі бар морфизм ішіне X.[1] Егер X субтерминальды, содан кейін сәйкестілік морфизмдерінің жұбы (1X, 1X) жасайды 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, Пафос, Кипр, 2010 ж., 20-28 наурыз, Хабарламалар. Спрингер. ISBN  9783642120329. Алынған 18 ақпан 2017.
  3. ^ Барр, Майкл; Уэллс, Чарльз (қыркүйек 1992). «Эскиздердің шектеулері туралы». Канадалық математикалық бюллетень. Том. 35 жоқ. 3. Канада математикалық қоғамы.

Сыртқы сілтемелер