[DSRP Evidence](https://dsrpevidence.org/)

# Objects eliminable by arrows alone

Mereology & mathematics · 

## Why it looked like it would break the theory

In arrows-only category theory, objects can be eliminated from the notation and recovered from morphisms. This can make identity appear dispensable.

## Why it failed

**The counterexample failed** because removing object notation does not remove identity–other structure. An object recoverable through its morphisms still occupies an identity role relative to alternatives. Representation changed; the structural role did not.

Settled by [R3](https://dsrpevidence.org/resolution/3). Not yet published.

[Read it](https://plato.stanford.edu/entries/category-theory/)

[All cases](https://dsrpevidence.org/counterexamples)