https://beyondturbulence.blogspot.com/p/generalized-iteration-white-paper.html?m=1
quotingAbstract
note1cy2…emv6
This paper presents a formal, category-theoretic system modeling normalization in symbolic structures. It abstracts theological and topological metaphors into a minimal calculus defined by a pointed idempotent endofunctor on a connected object with controlled retractions. Applications span symbolic logic, type theory, and finite-state systems.
https://beyondturbulence.blogspot.com/2026/01/normalization-calculus.html?m=1
note1mw7…0v0w