Экспоненциалы в топосе

Мы строим экспоненциальные функции в топосе и показываем, что топос можно определить как декартово замкнутую категорию с эквиализаторами и классификатором субобъектов.