Теорема когеррентности для канонических морфизмов в декартово замкнутых категориях

A.A. Бабаев; С.В. Соловьев

Displaying similar documents to “Теорема когеррентности для канонических морфизмов в декартово замкнутых категориях”

О естественных преобразованиях суперпозиций выделенных функторов в некоторых замкнутых категориях

С.В. Соловьев (1987)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Рост длины секвенциального вывода при перестройке в натуральный

С.В. Соловьев (1979)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Сохранение эквивалентности выводов при редукции глубины формул

С.В. Соловьев (1979)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Вопросы реализации логического вывода в системах альтернатив

С.Ю. Соловьев ([unknown])

Matematiceskie issledovanija

Similarity:

Схемы программ и эффективные функционалы конечных типов

В.Д. Соловьев (1983)

Verojatnostnye metody i kibernetika

Similarity:

Программный комплекс поддержки технологии программирования "снизу-вверх"

А.И. Васильев, В.Д. Соловьев ([unknown])

Verojatnostnye metody i kibernetika

Similarity:

Решение уравнений эллиптического и параболического типа для малых областей

П.В. Соловьев ([unknown])

Matematiceskij sbornik

Similarity:

Формальные трансляции

В.Д. Соловьев (1982)

Verojatnostnye metody i kibernetika

Similarity:

Диэдральные гомологии и когомологии. Основные понятия и конструкции

Р.Л. Красаускас, С.В. Лапин, Ю.П. Соловьев (1987)

Matematiceskij sbornik

Similarity:

О критерии выпуклости положительно однородной функции

В.Н. Солoвьев (1982)

Matematiceskij sbornik

Similarity:

Римановы слоения с постоянной трансверсальной кривизной.

А.Ф. Соловьев (1987)

Sibirskij matematiceskij zurnal

Similarity:

Искуственный интеллект и теория Пиажэ

В.Д. Соловьев ([unknown])

Verojatnostnye metody i kibernetika

Similarity:

Категория конечных множеств и декартово замкнутые категории

С.В. Соловьев (1981)

Zapiski naucnych seminarov Leningradskogo

Similarity: