Mathematics
Formal structures, relations, transformations, and deductive consequences.

A source-backed visual atlas connecting mathematics, physics, and fundamental chemistry from formal structures and physical law through chemical composition, bonding, reactivity, measurement, and radiochemical processes.
Formal structures, relations, transformations, and deductive consequences.
Empirical theories and models of matter, energy, spacetime, interactions, and physical systems.
Composition, structure, properties, measurement, and transformations of substances across molecular, material, biological, environmental, and industrial scales.
Equip an existing carrier or structured object with additional chosen data, when such compatible data exists. Use a construction junction when several independently meaningful inputs must coexist on the same carrier or interact compatibly.
Keep the existing data and select the subclass satisfying an additional law, existence condition, finiteness condition, or other property.
Pass canonically from a stronger object to structure it determines, or forget part of the data while retaining a valid weaker structure. The carrier may change under a canonical induced construction.
Apply a standard functorial or canonical construction whose output is not merely a reduct of the input and is not generally an equivalent presentation of the same object.
Identify elements by a stated equivalence relation and equip the quotient with the induced structure. The edge detail must state the representatives and equivalence relation.
Map one structure injectively into another by the standard structure-preserving inclusion or representation. This records a canonical copy, not necessarily literal set containment.
Feed several structures into a construction junction and impose compatibility between them.
Reinterpret an object, pass to an equivalent presentation, or relate canonically corresponding structures; the carrier may change.
Record a genuine theorem implication that is not part of the target definition; these edges may point toward a weaker structure.
A mathematical concept supplies part of the formal language, state space, representation, or analytic machinery used by a scientific or mathematical-physics concept. The source is the mathematical predecessor; this does not claim that physical content follows from mathematics alone.
A more specific theory, model, entity class, or regime is obtained by restricting or extending the scope of a broader framework.
A classical system or field theory is used to construct a quantum theory through a stated quantization procedure. Quantization need not be unique and is not guaranteed to preserve every classical structure.
The source supplies a substantive formal ingredient, dynamical sector, law, field content, or mechanism of the target theoretical framework.
A theory, law, or interaction describes the behavior of the target within a stated regime. The edge detail must state important limits or qualifications.
The source is a material constituent, structural component, or underlying quantum field whose excitation realizes the target physical system or particle. The edge label and detail must distinguish composition from field excitation; neither implies a simple classical sum of parts.
The target is a member or subtype of the broader source class.
The source field, particle, charge, current, or interaction couples to, acts on, binds, forms, or stabilizes the target in the stated regime. The edge label and detail must identify the exact coupling, interaction, or binding claim and its qualifications.
The target is recovered from the source either in a stated mathematical or asymptotic limit, or through a quantitatively controlled approximation with identified small parameters or omitted terms. The edge label and detail must state which case applies and its regime of validity.
The target retains the degrees of freedom and interactions relevant below a stated scale or within a stated regime, while higher-energy or unresolved degrees of freedom from the source are integrated out, coarse-grained, or encoded in effective couplings.
The target is a model, idealization, restricted ansatz, approximation scheme, phenomenological fit, or historical representation used for the source system or theory. It need not have a universal small error parameter and is not thereby a controlled limit or effective theory. The edge label and detail must identify the precise status.
The target is a collective, organizational, or scale-dependent phenomenon of the source constituents and interactions; it is not a mere list or classical sum of constituents.
The target represents a state, property, observable, or state-dependent description associated with the source system or theory.
A physical process transforms the source into, or produces, the target under the conditions stated in the edge detail.
The source experiment, observation, anomaly, or problem materially motivated the development, revision, or acceptance of the target concept. Historical influence is not logical derivation; the edge detail states the documented role and avoids retrospective origin myths.
The source theory, law, entity, prediction, or structural claim is directly tested, supported, constrained, or established by the target experiment or observation. Experimental support is not final logical proof; the edge detail states exactly what was measured.
These are ordinary HTML links to the canonical concept pages. Construction junctions remain visible in the diagram but are omitted here because they are visual combination devices rather than standalone concepts.
Every domain, active relation type, construction junction, and cross-field connection is enabled. Select any concept label in the SVG to open its atlas location.