Registry · Definition
I.D83
tau-effective
formalized
I.D83 — Primorial Presheaf
The primorial presheaf F : Prim^op -> Ring sends d to Z/M_dZ with reduction maps. Its split-complex extension F_j sends d to Z/M_dZ[j]. The spectral presheaf pair (F_B, F_C) is the sector decomposition.
Book I
Part 19
Ch. 74