Omega-Germ Approach

Omega-germs as approaches to infinity: compatible towers on the primorial ladder encode how a sequence approaches omega. Replaces the cardinality hierarchy with a single structural concept of asymptotic approach.

Omega-Germ Approach

Summary

Omega-germs as approaches to infinity: compatible towers on the primorial ladder encode how a sequence approaches omega. Replaces the cardinality hierarchy with a single structural concept of asymptotic approach.

Statement

%
\label{def:omega-germ-approach}
An \textbf{omega-germ approach} is an element
of the profinite completion
\[
    \hat{\mathbb{Z}}_\tau
    := \varprojlim_{k} \mathbb{Z}/M_k\mathbb{Z},
\]
i.e., the boundary ring
(Definition~\ref{def:boundary-ring}, I.D19).
Each approach represents a \textbf{direction of convergence}
toward $\omega$ ---
not a different infinity,
but a different path to the unique one.

Proof / Justification

This item is definitional. No manuscript proof is required.

Source Context

• Registry source: book-01.jsonl line 164
• Manuscript source: 2nd-edition/book-i-categorical-foundations/02_mainmatter/part09/ch38-approaches-infinity.tex lines 166-181

Lean / Formalization Notes

• Formalization: formalized
• Module: TauLib.BookI.Sets.UniqueInfinity
• Name: Tau.Sets.omega_germ_approach

Dependencies

• Canonical: I.D25, I.T35, I.P12

Related Results

Generated by later projection phases.

Related Publications

Generated by later projection phases.

Revision Notes

• 2026-04-24: Initial pilot migration.