Corpus definition canonical 2026-05-27T20:53:50+00:00
Corpus v3 · Definition cid001324DEF0198canonicalv1

Six 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.jsonl line 222
  • Manuscript source: 2nd-edition/book-ii-categorical-holomorphy/02_mainmatter/part11/ch60-question-of-foundations.tex lines 349-399

Lean / Formalization Notes

  • Formalization: planned
  • Module: None
  • Name: None

Dependencies

  • Canonical: I.T08, I.T10, II.T42

Generated by later projection phases.

Generated by later projection phases.

Revision Notes

  • 2026-04-24: Initial pilot migration.

Identifiers

  • Corpus ID cid001324
  • Primary alias DEF0198
  • Type Definition
  • Status canonical
  • Visibility public
  • Version v1

Aliases & legacy IDs

II.D90six-comparison-axesdef:six-comparison-axes

Release lines

corpus_v3_workingcorpus_v2

Relations

Appears in (1)

Sources

  • Monograph cid000001Book II, Part 11, Chapter 60 (Part XI)

Version & History

  • v1 · 2026-05-10 imported from v2 registry

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.

Save or share this page for inspection

Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.

Email to expert