II.D58 — E0/E1 Transition

The passage from E_0 (finite/profinite elements, external morphisms, algebraic bi-square) to E_1 (internal Hom, self-enrichment, Code/Decode, 2-category structure).