Category-theoretic approaches are often presented as a radical shift:
- objects are secondary
- morphisms (relations) are primary
- structure is defined through composition and identity-preserving mappings
This appears to complete the relational turn begun by structuralism and systems theory.
But in this series, category-theoretic ontology is not a completion. It is a high-order compression of relationality into a self-contained formal universe of transformations.
1. The promise: everything is morphism
The foundational gesture is elegant:
what matters is not what things are, but how they relate through structure-preserving transformations
So we replace:
- objects → nodes in a structure
- properties → irrelevant
- identity → defined via arrows and compositions
Reality becomes:
a network of composable relations
This appears to eliminate substance entirely.
But what it actually does is elevate relational consistency into a governing closure condition.
2. The hidden substrate: the category as totality
While objects are de-emphasised, one thing remains quietly dominant:
the category itself
A category is not just a set of relations. It is:
- a structured domain of composable morphisms
- governed by identity laws
- closed under composition
- constrained by coherence conditions
So while objects disappear locally, the global structure becomes:
a fully specified relational universe
Which functions exactly like an object at a higher level.
Thus:
objecthood is displaced, not eliminated—it reappears as total categorical closure
3. The key move: relationality becomes law-governed
Category theory does not describe arbitrary relations.
It describes:
- composable relations
- structure-preserving maps
- invariant transformations
This introduces a strong constraint:
not all relations are admissible—only those compatible with categorical laws
So relationality is not free.
It is:
highly regulated relationality
Which means the system is not “pure relation,” but relation under strict compositional discipline.
4. Identity becomes structural persistence of mapping
In category-theoretic terms, identity is not substance-based but:
a morphism that preserves structure under composition
This replaces:
- essence → identity morphism
- being → compositional stability
But this still requires:
- stable identity laws
- invariant compositional rules
- coherent mapping across transformations
So identity has not been dissolved.
It has been:
redefined as a structural constraint on allowable transformation chains
5. Suppression: the category must be coherent
The entire framework depends on:
- associativity
- identity laws
- compositional closure
These are not derived within the system.
They are:
governing constraints that make the system intelligible at all
So category theory depends on a meta-stability condition:
the coherence of the relational field is presupposed, not generated
This is structurally analogous to earlier isms:
- Platonism: presupposed realm of forms
- Formalism: presupposed rules
- Logicism: presupposed necessity
- Structuralism: presupposed structure
- Systems theory: presupposed boundary
- Category theory: presupposed coherence of composition
The form has changed. The containment requirement has not.
6. Leakage: morphisms require interpretation
Although category theory attempts to eliminate objects, it cannot eliminate:
- the recognition of valid morphisms
- the distinction between composable and non-composable mappings
- the identification of identity morphisms
These require:
situated interpretive activity within the formalism
So again:
the system depends on instantiation of relational recognition that is not itself captured by the formal structure
The relational field cannot fully account for its own enactment.
7. The deeper structure: relational totality as implicit object
Category theory’s most subtle move is this:
it replaces objects with relations, but preserves a totality in which those relations are embedded
That totality behaves like:
- a space of all allowable transformations
- a closed universe of compositional possibility
- a structured field of relational coherence
Which means:
“pure relation” is only intelligible inside a reified relational universe
So the system becomes:
a non-object that behaves like an object of maximal generality
8. What category-theoretic structuralism actually is (in this series)
It is not the elimination of ontology.
It is:
the compression of ontology into a fully generalised relational closure system
It replaces:
- substance → objects → morphisms
- local identity → structural equivalence
- static form → compositional invariance
But it preserves a crucial requirement:
that the relational system remains globally coherent and law-governed
Which means:
ontology has not been dissolved—it has been elevated into total relational constraint architecture
9. Why it fails
Category-theoretic structuralism fails for a familiar reason in a new form:
it cannot account for the coherence it presupposes
If coherence is:
- internal → it must generate its own laws (circularity)
- external → it reintroduces a grounding ontology
So it oscillates between:
- self-grounding relational closure (unstable)
- implicit external constraint (inconsistent)
And in both cases:
the system cannot fully internalise the conditions of its own intelligibility
Transition
We now move from:
- substance (removed)
- syntax (Formalism)
- necessity (Logicism)
- cognition (Idealism)
- relational position (Structuralism)
- dynamic systems (Systems theory)
- compositional relational closure (Category theory)
Next comes the first explicit refusal strategy:
instead of constructing ontology, we deny its existence
But denial, as we will see, is never neutral.
Next:
Part II — Post 8: Nominalism
Here, ontology is rejected—but structure returns through the back door of language and practice.
No comments:
Post a Comment