|
СЕМИНАРЫ |
Семинар С. Л. Кузнецова и В. Б. Шехтмана "Алгебраическая и категорная логика"
|
|||
|
Вложение свободной декартово замкнутой категории в категорию множеств Данила Демин |
|||
Аннотация: Докладчик подготовил доклад по статье Чубрича (D. Čubrić. Embedding of a free cartesian-closed category into the category of sets. J. Pure Appl. Alg. 126(1-3), 1998, pp. 121-147), в которой доказывается, что для любой декартово замкнутой категории существует строгий, сохраняющий структуру, функтор в категорию множеств. Это покажет, что эквивалентность лямбда-термов можно проверять по равенствам соответствующих стрелкам в категории множеств. |