Registry · Definition II.D90 established planned

II.D90 — Six Comparison Axes

Six structural axes along which Category tau and orthodox mathematics differ: infinity, sign, topology, geometry, analysis, and category theory.

Book II Part 11 Ch. 60

Dependency Graph

Depends on (3)

Lean Formalization

Module:

Symbol: