Functions, Relations, and Transformations
Composition and Transformation
Matrix Logic opens up a multiverse beyond Binary Logic; this is how type theory generalizes classical logic.
Yet one fact has yet to be realized.
<aside> đź’ˇ Types are self-related.
</aside>
In the logic of distance, for example, types are sets; but in a set, every point is infinitely far away from the rest!
So although we’re trying to reason about distance, each relation is basically hitting a brick wall. What we actually want are spaces.
For logic to be complete, types must contain the same kind of connection as relations. Then reasoning can “flow through” freely.
