Topological Counting

We give a rigorous formal development of topological counting on the foundation of Transcendental Presence Notation (TPN). The development has three layers. Alge- braic: witnesses form apartness sets; rosters are inhabited, pairwise-separated witness chains; tallies live in the free semigroup on one generator, (Z>0,+), which has no iden- tity element the absence of zero is an algebraic fact about the structure, not a stylistic omission. Addition is a partial operation conditioned on positive separation; inclusion exclusion is revealed as the classical patch for ignoring that condition. Topological: a scene is a topological space, a witness eld is an étale map over it, a procedure is an open region together with a berwise-exhaustive roster of sections, and a count is pre- cisely a trivialization. Counts are locally constant; they are stable under base change; and they are obstructed globally by monodromy. The connected double cover of the circle counts II on every small arc yet admits no global count, while the trivial double cover counts II globally: the slogan not all twos are the same becomes a classication theorem, with n-counts over a scene S classied by Hom(π1(S),Σn) up to conjugacy. Logical: the TPN object-language is identied with the positive coherent (geometric) fragment atoms, conjunction, existentials, inhabited disjunction which possesses sheaf semantics over the scene; vacuous truth is impossible because there is no empty antecedent, and clash does not explode because there is no falsum. Finally we show that zero is, precisely, the unit adjoined by the free monoid-completion of the tally semigroup: the installation criticized by the anti-zero thesis is literally an adjunction, and refusing zero is refusing a left adjoint, not denying a discovery.