Paweł Łukasz Garycki

M15c The Calculus of Charts - Transport, Iteration and the Comma

The Theory of Operations studies arithmetic operations as members of structured rank hierarchies. An Aczél chart converts an associative operation into ordinary addition; a room is one level of the Symmetric Core obtained from an iterated-logarithm chart; the Transport Theorem ca...