|
Dec. 25th, 2021|11:58 pm |
Нульар, нульарная алгебра
Нульарная алгебра - структура с нульарными операциями, константами. Нульар, мононульар, pointed set, множество с выделенным элементом, множество с отмеченной точкой, based set, rooted set, etc. - структура с нульарной операцией, одной константой, особой точкой.
Морфизмы сращивают особые точки (константы) двух структур. Эндоморфизмы "вращают" структуру вокруг особенности. А в нульарной алгебре - создают поток, огибающий фиксированные точки. (Заметки на полях: подпотоки могут впадать в особенность, и тогда можно говорить о стоке).
Любая эндофункция наделяет множество структурой унара, в том числе нульар. Нульар - всё ещё статика (как и алгебра без операций), а унар - уже динамика.
Типов нульарных алгебр счётное множество, нумеруются положительными целыми. Многообразия их вырожденные, так как любые тождества уменьшают количество констант и переводят алгебру в меньшую.
Добавление к алгебрам нульарной структуры расширяет многообразия качественно, - позволяя перейти от глобальных тождеств к (полу-?)локальным. К примеру, была идемпотентность f^2 = f, стала глобально-локальным стоком f(f(x)) = 0. (Заметки на полях: здесь f(0) = 0 с необходимостью).
Различие констант и нульарных функций лучше просматривается не в математике, а в программировании. Результат - один и тот же (в рамках функционального программирования), а запись разная.
Философская топология нульара - аристотелианская, статичная. Особый объект - центр, остальное - периферия. (Заметки на полях: унар с неподвижной точкой похож, но там ещё начинается вращение вокруг центра).
Нульар - это дуальность: выделенное - остальное. Это идея избранности, двухуровневой иерархии. Это идея атома в противопоставлении атом - объём, масса. (Заметки на полях: неотличим ли атом от дырки или они дуальны?). |
|