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
quotingOn the day I called, you answered me
note1mw7…0v0w
https://stacker.news/items/1403039