|
|
Записки научных семинаров ЛОМИ, 1981, том 105, страницы 3–9
(Mi znsl3394)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Равенство морфизмов и теорема когеррентности для бизамкнутых категорий
А. А. Бабаев
Аннотация:
С помощью методов теории доказательств проблема распознавания равенства канонических морфизмов и теорема когеррентности для бизамкнутых категорий сводятся к соответствующим вопросам в замкнутых категориях, которые решены в предыдущих работах автора. Библ. – 8 назв.
Образец цитирования:
А. А. Бабаев, “Равенство морфизмов и теорема когеррентности для бизамкнутых категорий”, Теоретические применения методов математической логики. III, Зап. научн. сем. ЛОМИ, 105, Изд-во «Наука», Ленинград. отд., Л., 1981, 3–9; J. Soviet Math., 22:3 (1983), 1281–1285
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl3394 https://www.mathnet.ru/rus/znsl/v105/p3
|
|