Skip to content

Category Theory & Topos Theory Primer

RTSG Math Reference · Jean-Paul Niko · 2026

Category theory provides the natural language for RTSG's structural claims. The three-space ontology, filter formalism, instantiation functor, and BRST cohomology are all category-theoretic constructions. This primer covers the essentials.

1. Categories, Objects, and Morphisms

A category \(\mathcal{C}\) consists of:

  1. A class of objects \(\text{Ob}(\mathcal{C})\)
  2. For each pair \((A, B)\), a set of morphisms \(\text{Hom}_\mathcal{C}(A, B)\)
  3. Composition: if \(f: A \to B\) and \(g: B \to C\), then \(g \circ f: A \to C\)
  4. Identity: \(\text{id}_A: A \to A\) for every object

RTSG instances: - \(\mathbf{QS}\): Category of potentiality structures (objects = non-well-founded sets, morphisms = bisimulations) - \(\mathbf{PS}\): Category of physical structures (objects = observable states, morphisms = physical processes) - \(\mathbf{Filt}\): Category of filters (objects = intelligence vector spaces, morphisms = filter operators)

2. Functors: Morphisms of Categories

A functor \(F: \mathcal{C} \to \mathcal{D}\) maps objects to objects and morphisms to morphisms, preserving composition and identities:

\[F(g \circ f) = F(g) \circ F(f), \qquad F(\text{id}_A) = \text{id}_{F(A)}\]

RTSG instance: The instantiation functor \(\mathfrak{C}: \mathbf{QS} \to \mathbf{PS}\) is the mathematical formalization of consciousness. It is faithful (no information lost in instantiation) and essentially surjective (everything actual was once potential).

The complexification functor \(\mathfrak{K}: \mathbf{PS}(t) \to \mathbf{PS}(t+dt)\) maps current actuality to its successor. The arrow of time = this functor is never the zero functor.

3. Natural Transformations

Given functors \(F, G: \mathcal{C} \to \mathcal{D}\), a natural transformation \(\eta: F \Rightarrow G\) assigns to each object \(X\) a morphism \(\eta_X: F(X) \to G(X)\) satisfying:

\[\eta_Y \circ F(f) = G(f) \circ \eta_X\]

for all morphisms \(f: X \to Y\).

RTSG instance: A filter shift (changing from one filter stack to another) is a natural transformation between instantiation functors. Learning, therapy, and psychedelic experience are natural transformations on \(\mathfrak{C}\).

4. Adjoint Functors

\(L \dashv R\) (L left adjoint to R) if:

\[\text{Hom}_\mathcal{D}(L(X), Y) \cong \text{Hom}_\mathcal{C}(X, R(Y))\]

naturally in \(X\) and \(Y\).

RTSG instance: The instantiation functor \(\mathfrak{C}\) (QS → PS) and the "potential lifting" functor \(\mathfrak{P}\) (PS → QS, embedding actuality back into potentiality) form an adjoint pair: \(\mathfrak{C} \dashv \mathfrak{P}\). This encodes the fact that instantiation and potentialization are dual processes.

5. Topos Theory

A topos is a category with enough structure to support internal logic:

  • Grothendieck topoi: Categories of sheaves on a site. They generalize topological spaces.
  • Elementary topoi: Abstract foundations for mathematics. Internal logic is intuitionistic (Heyting algebra of truth values, not Boolean).

RTSG instance: QS is formalized as a topos — specifically, the terminal coalgebra of the powerset functor viewed as a Grothendieck topos. CS is a geometric morphism from the ambient (non-Boolean) topos to the Boolean sub-topos (PS). This means: consciousness is the process that converts intuitionistic (potentiality-) logic into classical (actuality-) logic.

This is Axiom 0's category-theoretic content: the ambient set theory is non-Boolean (ZFA with anti-foundation), and the instantiation operator is the passage to the Boolean quotient.

6. Coalgebras and Terminal Objects

A coalgebra for a functor \(F: \mathcal{C} \to \mathcal{C}\) is a pair \((A, \alpha: A \to F(A))\). The terminal coalgebra is the unique (up to isomorphism) coalgebra from which every other coalgebra has a unique morphism.

RTSG instance: QS = terminal coalgebra of \(\mathcal{P}: \mathbf{Set} \to \mathbf{Set}\) (powerset functor). This means QS contains every possible relational structure — it is the "space of all spaces." Non-well-founded sets live here naturally.

7. BRST Cohomology as Derived Functor

The BRST differential \(s\) (\(s^2 = 0\)) defines a cochain complex. The cohomology \(H^\bullet(s)\) is a derived functor — it extracts the "essential" information from the complex by modding out gauge redundancies.

RTSG instance: Physical conscious experience = \(H^0(s)\) = zeroth cohomology of the BRST complex on CS-space. This is the mathematical formalization of "what you actually experience" as opposed to "the full state of your brain."

8. The Yoneda Lemma and Cognitive Representation

The Yoneda lemma states that an object is completely determined by its relationships to all other objects:

\[\text{Nat}(\text{Hom}(A, -), F) \cong F(A)\]

RTSG instance: This is Axiom 3 (Relations First-Class) in category-theoretic form. A cognitive system is completely characterized by its morphisms (relations) to all other systems — not by its internal structure. The I-vector is the Yoneda embedding of a mind into the category of intelligence spaces.

References

Jean-Paul Niko · smarthub.my