Вложение свободной декартово замкнутой категории в категорию множеств

Докладчик подготовил доклад по статье Чубрича (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), в которой доказывается, что для любой декартово замкнутой категории существует строгий, сохраняющий структуру, функтор в категорию множеств. Это покажет, что эквивалентность лямбда-термов можно проверять по равенствам соответствующих стрелкам в категории множеств.