Не только автоморфизмы создают поток в дискретном времени, но и эндоморфизмы, да, и просто эндофункции.

Что же до того, куда относить логику, к алгебре или анализу... какая разница? В конце концов, различия между ними, как известно, - это всего лишь различия в способе обгразания одной и той же кукурузы, хехе.

http://bentilly.blogspot.com/2010/08/analysis-vs-algebra-predicts-eating.html

(Reply to this) (Thread)

Да, действительно эндоморфизмы тоже создают поток, то только у автоморфизмов его всегда можно повернуть вспять, то есть имеет место "нулевая потеря информации".

А что касается эндофункций, то тут главная фишка булевых алгебр в том, что их элементы по смыслу соответствуют подмножествам. Поэтому есть эндофункция для какого-то множества, то она будет действовать на его подмножества прообразами, и это будет уже эндоморфизм. А при работе с абстрактными булевыми алгебрами про существования самих точек и перемещающих их эндофункции можно забыть.

(Reply to this) (Parent)