(no subject)

[timelets]

This is an important point about product as a domain:

Comments

[juan_gandhi]

And then there's currying, aka Yoneda lemma.

[timelets]

I still need to get to the bottom of that.

[juan_gandhi]

It takes time, but then it will become obvious.

[gracheeha]

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

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

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

[timelets]

В принципе, да, речь идет о функции двух переменных. Но тут интересна не сама функция, а универсальные свойства любой такой функции, независимо от объектов. Хотя характер объектов тоже может играть определенную роль.

Завидую внуку. Его ждут многие открытия.