Registry · Definition VII.D82 tau-effective formalized

VII.D82 — Mind as Internal Topos

Internal topos on carrier domain supporting representation, inference, action as exponential evaluation, and self-modelling.

Book VII Part 9 Ch. 106

Dependency Graph

Depended on by (5)

VII.L15 VII.P27 VII.T39 VII.T42 VII.T43

Lean Formalization

Module: TauLib.BookVII.Logos.Sector

Symbol: Tau.BookVII.Logos.Sector.MindAsInternalTopos