Порядок префиксов
- Префиксное упорядоченное множество обобщает интуицию дерева, представляя непрерывный прогресс и ветвление.
- Естественный порядок префиксов часто возникает при рассмотрении динамических систем как набора функций от времени.
- Функции между порядками префиксов включают функции, сохраняющие историю и будущее.
- Карты, сохраняющие историю, отражают интуицию о том, что поведение в одной системе является усовершенствованием поведения в другой.
- Использование карт, сохраняющих историю, приводит к понятию произведения, которое не является декартовым произведением двух порядков.
- Объединение двух порядков префикса является непересекающимся объединением.
- Биективная функция сохранения истории является изоморфизмом порядка.
Полный текст статьи: