Link to current text
MATH.18:3 - Forces
| Force | Tension |
|---|
| Different primitives and recoverable structure | An operation in one account may be definable through a relation in another, but its existence and uniqueness need an argument. |
| Object correspondence and allowed maps | Matching objects leaves open whether the accounts permit the same transformations of them. |
| Useful one-way translation and equivalence | An interpretation may carry the needed result without supporting a reverse interpretation or a broader equivalence. |
| Comparison scope and effort | A local consequence may need only a short argument; comparing entire theories requires their logical and structural conditions. |