Registry · Definition VII.D20 tau-effective formalized

VII.D20 — Meta-Framing Archetype

Minimal j-closed subobject producing reframing functor F′ differing from F; self-applies to framing functor itself; shifts interpretive context.

Book VII Part 1 Ch. 13

Dependency Graph

Depended on by (1)

VII.L34

Lean Formalization

Module: TauLib.BookVII.Meta.Archetypes

Symbol: Tau.BookVII.Meta.Archetypes.MetaFramingArchetype