DEF0187canonicalv1Parallel Transport
Parallel transport along a path γ in Z/M_k Z: sequential composition of the connection transport operator along each edge. For the flat connection, this reduces to addition mod M_k.
Payload
Parallel Transport
Parallel transport along a path γ in Z/M_k Z: sequential composition of the connection transport operator along each edge. For the flat connection, this reduces to addition mod M_k.
Parallel Transport
Summary
Parallel transport along a path γ in Z/M_k Z: sequential composition of the connection transport operator along each edge. For the flat connection, this reduces to addition mod M_k.
Statement
%
\label{def:mode-a-catalog}
% I.T05, I.T08
The following constructions in Books~I--II
are \textbf{Mode~A} (Same):
\medskip
\renewcommand{\arraystretch}{1.35}
\begin{center}
\begin{tabular}{@{}p{0.23\linewidth}p{0.23\linewidth}p{0.23\linewidth}p{0.23\linewidth}@{}}
\toprule
\textbf{Object} & \textbf{$\tau$ source} & \textbf{Orthodox}
& \textbf{Identity witness} \\
\midrule
Natural numbers $\mathbb{N}$
& I.D07 (orbit of $\alpha$)
& PA
& Canonical bijection
$\rho^n(\alpha) \leftrightarrow n$ \\
Prime numbers
& I.D19b
& Fundamental theorem of arithmetic
& Same set, same divisibility \\
$\pi$
& Book~II Part~V (earned)
& Classical transcendental
& Same limit of solenoidal ratio \\
$e$
& Book~II Part~V (earned)
& Classical transcendental
& Same limit $(1+1/n)^n$ \\
$\hat{\mathbb{Z}}$
& I.D19 ($\hat{\mathbb{Z}}_\tau$)
& Profinite completion of $\mathbb{Z}$
& Same inverse limit \\
Boolean fragment
& I.D21 (Truth4 restricted)
& Classical logic $\{T, F\}$
& $\{T, F\} \hookrightarrow \{T, F, B, N\}$ \\
Fundamental theorem
& I.T19
& FTA
& Same unique factorization \\
\bottomrule
\end{tabular}
\end{center}
\medskip
\noindent
For each entry, the identity witness is a
canonical bijection or embedding
that preserves all structure
(order, operations, defining properties).
Proof / Justification
This item is definitional. No manuscript proof is required.
Source Context
- Registry source:
book-02.jsonlline 196 - Manuscript source:
2nd-edition/book-ii-categorical-holomorphy/02_mainmatter/part11/ch62-survives-the-fork.texlines 56-110
Lean / Formalization Notes
- Formalization:
formalized - Module:
TauLib.BookII.Closure.Connection - Name:
parallel_transport
Dependencies
- Canonical: II.D78
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.D79parallel-transportdef:parallel-transportRelease 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.