Registry · Definition IV.D321 tau-effective formalized

IV.D321 — Tick Morphism

A counted number of minimal generator steps in a specific sector. Internal Layer 1 object with no SI units. Ontologically: a morphism n : End(X)_S where X is the carrier and S is the sector.

Book IV Part 2 Ch. 10

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Physics.TickUnits

Symbol: Tau.BookIV.Physics.TickMorphism