Registry · Definition VII.D83 tau-effective formalized

VII.D83 — Story Functor

Functor from category of episodes to internal topos mapping experiences into mind-topos with self-relevance; narrative identity.

Book VII Part 9 Ch. 107

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookVII.Logos.Sector

Symbol: Tau.BookVII.Logos.Sector.StoryFunctor