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

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.

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.jsonl line 196
  • Manuscript source: 2nd-edition/book-ii-categorical-holomorphy/02_mainmatter/part11/ch62-survives-the-fork.tex lines 56-110

Lean / Formalization Notes

  • Formalization: formalized
  • Module: TauLib.BookII.Closure.Connection
  • Name: parallel_transport

Dependencies

  • Canonical: II.D78

Generated by later projection phases.

Generated by later projection phases.

Revision Notes

  • 2026-04-24: Initial pilot migration.

Identifiers

  • Corpus ID cid001313
  • Primary alias DEF0187
  • Type Definition
  • Status canonical
  • Visibility public
  • Version v1

Aliases & legacy IDs

II.D79parallel-transportdef:parallel-transport

Release lines

corpus_v3_workingcorpus_v2

Relations

Appears in (1)

Sources

  • Monograph cid000001Book II, Part 10, Chapter 55 (Wave M4)

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