Universal (structural position)
A universal, in the τ-framework, is a structural position in the coherence kernel — an NF-address that admits multiple instantiation-morphisms from particulars. Universals are not a separate Platonic realm and not mere conceptual fictions; they are positions to which many morphisms can land, and 'instantiation' is the morphism itself. Non-dualistic Platonism: forms are NF-addresses, not stuff.
τ-Definition
A universal, in the τ-framework, is a structural position in the coherence kernel — an NF-address that admits multiple instantiation-morphisms from particulars. Universals are not a separate Platonic realm and not mere conceptual fictions; they are positions to which many morphisms can land, and 'instantiation' is the morphism itself. Non-dualistic Platonism: forms are NF-addresses, not stuff.
Categorical invariant. U is universal ⟺ U ∈ NF-Addr ∧ |{f ∈ AdmMor : tgt(f) = U}| > 1.
Primary registry anchor:
VII.D40
τ-Derivation Chain
-
VII.D25— Internal Set Ontology — universals are NF-addressable, not extra-categorical. -
VII.D36— Abstract Object as Structural Position — mathematical/abstract entities are structural positions, identity is relational. -
VII.D40— Non-Dualistic Platonism — single ontology with epistemic stratification; forms are NF addresses, not a separate realm. -
VII.D41— ω-Uniqueness Principle — the terminal coherence point is unique, anchoring universal-stability.
Lean modules referenced:
TauLib.BookVII.Meta.Registers
Phenomenological Correlate
Universals are instantiated wherever we say 'X and Y share a property F' and the sharing is structural rather than nominal. Redness, primeness, justice, triangularity — all are NF-addresses to which many particulars admit instantiation morphisms. We encounter the universal whenever we recognize the same structural position across distinct particulars.
Examples:
- Mathematical: 'primeness' is the NF-address that 2, 3, 5, 7, … all admit an instantiation morphism into; the universal is not a Platonic object 'Primeness' but the structural position in the kernel.
- Empirical: 'redness' is the NF-address to which red apples, red sunsets, and red signal-lights all map under perceptual-categorization morphisms in Reg_E.
- Normative: 'justice' is the NF-address to which just acts, just laws, and just institutions all map under norm-evaluation morphisms in Reg_P.
- Geometric: 'triangularity' is the colimit-address to which all admissible triangle-diagrams admit canonical morphisms; particular triangles instantiate it without being it.
Register codomain: Cross-register (universals appear in every register; the structural-position reading is uniform).
Manuscript reference: manuscript-sources/book-07/part02/ch32.tex
Lean Coverage
Status: Formalized
Module: TauLib.BookVII.Meta.Registers
Lean kind: structure
Lean symbol: Tau.BookVII.Meta.Registers.NonDualisticPlatonism