Source changed 2026-10-03 08:01:07 UTC · snapshot created 2026-10-03 08:04:31 UTC · last check 2026-10-03 08:10:10 UTC
MMP.10:12 - Relations
B.5.FM and B.5.TU: construct a first account and connect a subject theory to the encountered problem. This pattern translates its candidate objects and conditions into a mathematical formulation.
MATH.1 and MATH.5: construct composable paths and extend an assignment on elementary steps to compounds while preserving operations and equations. MATH.16 chooses a mathematical construction from the maps it must support. MATH.7 transports structure when the required bijections have been constructed.
C.29.1 and C.29.2: supply correspondence, answer recovery and the separation of a mathematical result from its obtaining procedure and execution.
C.16.IR: determines what a compatible set permits one to infer through projection and constancy of the requested quantity.
MMP.7 and MMP.8: construct observation probabilities and information-dependent choices. A formulation’s variables retain those probabilistic and temporal meanings.
MMP.9: derives a reduced evolution law when retained quantities depend on eliminated contributions. The resulting law can supply relations used here.
C.11.DUA and E.22/E.23: choose worthwhile further inquiry and organize evaluation and improvement of a formulation or its obtaining work.
ME: uses the mathematical result when constructing or changing a working method. Its performance in the subject remains distinct from the formal properties of its description.