Registry · Remark
I.R34
established
not_applicable
I.R34 — Normalization Endofunctors M and E
Route B defines M (multiplicative) and E (exponential) normalization endofunctors on Supp, with M∘E=M. In Route A, these are derived from the diagonal discipline. Existence in both routes confirms robustness.
Book I
Part 1
Ch. 5