Registry · Definition VII.D16 tau-effective formalized

VII.D16 — Archetype as Minimal j-Closed Fixed Point

Minimal j-closed subobject of presheaf topos exhibiting specified structural invariant; smallest pattern stable under all J_τ-refinements.

Book VII Part 1 Ch. 10

Dependency Graph

Depended on by (6)

VII.L08 VII.L23 VII.P04 VII.P05 VII.R53 VII.R54

Lean Formalization

Module: TauLib.BookVII.Meta.Archetypes

Symbol: Tau.BookVII.Meta.Archetypes.ArchetypeFixedPoint