Abstract
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

@note1mw7kk...