Равенство морфизмов и теорема когеррентности для бизамкнутых категорий
Радикалы в категориях
Свободные объекты в рефлексивных подкатегориях
Соответствия над произвольной категорией.
Сохранение эквивалентности выводов при редукции глубины формул
Строение конгруэнций в некоторых категориях соответствий
Тензорное произведение функторов.
Теорема когеррентности для канонических морфизмов в декартово замкнутых категориях
Теорема Шрейера в нормальных категориях
Теория свободных разложений в категориях
Фундаментальная теорема теории Галуа
Функторы между структуризованными категориями
Функциональные бимногообразия в категории функторов
Характеризация категории полигонов