DEF0198canonicalv1Six Comparison Axes
Six structural axes along which Category tau and orthodox mathematics differ: infinity, sign, topology, geometry, analysis, and category theory.
Payload
Six Comparison Axes
Six structural axes along which Category tau and orthodox mathematics differ: infinity, sign, topology, geometry, analysis, and category theory.
Six Comparison Axes
Summary
Six structural axes along which Category tau and orthodox mathematics differ: infinity, sign, topology, geometry, analysis, and category theory.
Statement
%
\label{def:six-comparison-axes}
For any construction $\mathcal{C}_\tau$
with comparison mode $M \in \{A, B, C, D, E\}$,
the \textbf{six comparison axes} are:
\medskip
\renewcommand{\arraystretch}{1.35}
\begin{center}
\begin{tabular}{@{}r@{\;\;}l@{\;\;}p{7.5cm}@{}}
\toprule
\textbf{\#} & \textbf{Axis} & \textbf{Question} \\
\midrule
1 & Ontic Status &
Is $\mathcal{C}_\tau$ the same object,
a parallel object, absent,
or a new object?
(Determined by the mode.) \\
2 & Axiom Dependency &
Which K-axioms does $\mathcal{C}_\tau$ depend on?
Which ZFC/PA axioms does
$\mathcal{C}_{\mathrm{orth}}$ depend on? \\
3 & Constructivity &
Is $\mathcal{C}_\tau$ decidable?
Effective?
Does $\mathcal{C}_{\mathrm{orth}}$ require
non-constructive principles (AC, LEM)? \\
4 & Uniqueness &
How many models?
$\tau$: exactly one (I.T08).
ZFC: models of every infinite cardinality.
PA (first-order): non-standard models. \\
5 & Scope Gain &
What does $\tau$ gain
that orthodox mathematics lacks? \\
6 & Scope Cost &
What does $\tau$ lose
that orthodox mathematics has? \\
\bottomrule
\end{tabular}
\end{center}
\medskip
\noindent
Axes~1--4 are factual: they have definite answers
for each construction.
Axes~5--6 are evaluative:
they compile the gains and costs
that the factual axes reveal.
Proof / Justification
This item is definitional. No manuscript proof is required.
Source Context
- Registry source:
book-02.jsonlline 222 - Manuscript source:
2nd-edition/book-ii-categorical-holomorphy/02_mainmatter/part11/ch60-question-of-foundations.texlines 349-399
Lean / Formalization Notes
- Formalization:
planned - Module:
None - Name:
None
Dependencies
- Canonical: I.T08, I.T10, II.T42
Related Results
Generated by later projection phases.
Related Publications
Generated by later projection phases.
Revision Notes
- 2026-04-24: Initial pilot migration.
Identifiers
Aliases & legacy IDs
II.D90six-comparison-axesdef:six-comparison-axesRelease lines
corpus_v3_workingcorpus_v2Relations
Appears in (1)
Sources
Version & History
Status disclaimer
A Corpus Item page reports the program's current internal record for this item. It does not imply external verification, scientific consensus, or final proof unless explicitly stated. Read it together with its dependencies, formalization status, and the program's overall stance.