Аннотация:
С помощью методов теории доказательств проблема распознавания равенства канонических морфизмов и теорема когеррентности для бизамкнутых категорий сводятся к соответствующим вопросам в замкнутых категориях, которые решены в предыдущих работах автора. Библ. – 8 назв.
Полный текст:
PDF файл (357 kB)
