Всё же мучает меня вопрос: откуда взялось это понятие экспоненциала. У Даны Скотта, например, написана, что вот эта диаграмма с curry и eval полностью характеризует задаёт понятие множества функций. А ссылки на соответстующий текст нету :( Видимо, это считается общеочевидным знанием. Я, конечно, накостылил доказательство сам, но хотелось бы увидеть первоисточник, и логику за этим скрытую.

Может быть, кто-нибудь знает, что надо почитать?

> откуда взялось это понятие экспоненциала
Вопрос непонятен...
Для меня, оно взялось из учебников ;-)
История возникновения неизвестна, но она точно давняя.

когда я читал голдблатта, то мне как-то было очевидно, что в Set множество функций из 2 в любое A это 2^A

... или наоборот, из A в 2

Ну, как бы, да... Но, как бы, в древних текстах (до 90-ых) этому предавали какой-то вычислительный смысл. А концы не находятся. Может, надо копать самого Карри интенсивно?

Хотя, математики - такие математики. Могли каррирование назвать просто в честь.

2ª, это такая запись a→2.

ну да, я чего-то и подумал, что что-то не то, если это "множество всех подмножеств"

Смысл каррирования, это сопряжённые функторы.
Вычислительный, ну мож как-то так, что часто, эти сопряжённые функторы существуют.

Што гэта такое?

Друскеники — деревня в Вороновском районе Гродненской области Беларуси.

но это именно оно, у нас на выходе множество предикатов на элементы, то есть множество всех подмножеств

2ª, это множество классифицирующих морфизмов, если точнее.

если классификатор подобъектов это 2. Но может быть что-то другое

Если 2 не классификатор, то просто они не будут находиться в правильном соответствии с мономорфизмами.

Коллеги, а есть такой же чат, но по логике и/или моделям?

Brenoritvrezorkre ^

Ну у меня не так уж и чат, а канал, плюс не пополняется пока что

Чатов же о логике я не знаю.

Так создай