(no subject)

[timelets]

This is an important point about product as a domain:

Comments

[juan_gandhi]

And then there's currying, aka Yoneda lemma.

[gracheeha]

Я не знакома с теорией категорий, жду, когда мой внук возьмёт её в универе, и тогда мне уже не отвертеться, придётся и с категориями разбираться. :)))

Что касается "product as a domain", так по-простому это функция двух переменных, вроде случайного процесса, который является функцией времени и точки из пространства элементарных исходов f(t, w), а шляться (или скакать) он может в любом множестве.

Правда, я подозреваю, что вся соль в термине "объект". :)