Transport of Structure¶
Define operations, relations, or other structure on one mathematical carrier through a chosen equivalence so that the equivalence becomes structure-preserving by construction.
Core Idea¶
Transport of Structure is the mathematical construction that equips one carrier with operations, relations, topology, geometry, or another specified structure by carrying an existing structure across a chosen invertible identification. Given a structured object \((A,S)\), an otherwise unstructured carrier \(B\), and a bijection or appropriate equivalence \(f:A\to B\), define the structure \(f_*S\) on \(B\) so that \(f:(A,S)\to(B,f_*S)\) becomes an isomorphism by construction. Bourbaki made this operation explicit in its treatment of species of structures, isomorphisms, and transportable relations; universal algebra expresses the same construction through operations and identities.
Scope of Application¶
The home domain is structural mathematics. Bourbaki's set-theoretic presentation treats structures through scale sets, transportable relations, species of structures, and isomorphisms. Universal algebra supplies the clearest formula: a signature lists operations and constants, equations specify a class of algebras, and conjugation through a bijection transports every operation while preserving the equations.
In linear algebra and analysis, linear isomorphisms transport inner products, norms, bilinear forms, orientations, and operators. If \(f:V\to W\) is a linear isomorphism and \(W\) has inner product \(\langle-,-\rangle_W\), then
Clarity¶
Six questions make a transport claim precise:
- What structure is being moved? Name the signature, relation family, topology, atlas, metric, measure, order, or categorical structure. 2. Which direction is transport occurring? Specify source, target, and whether notation is pullback \(f^*\) or pushforward \(f_*\). 3. What property of the map permits transport? Bijection, homeomorphism, linear isomorphism, equivalence, covering map, completion map, or an adjoint universal property are different hypotheses.
Manages Complexity¶
Transport of Structure replaces repeated axiom verification with a single structural argument. Defining a group law on a new set directly would require checking associativity, identity, and inverses. Defining it by conjugation through a bijection makes those laws follow from the source group because every target expression translates back to a source expression. The construction compresses “reprove every law” into “verify the transport map and formula.”
Abstract Reasoning¶
The core reasoning move is conjugation. To define or compute a target operation, move the inputs back to the source, apply the known operation, and move the result forward. This immediately predicts preservation of equations. For example, associativity on \(B\) follows by expanding both \((b_1*_B b_2)*_B b_3\) and \(b_1*_B(b_2*_B b_3)\) through \(f^{-1}\), using associativity on \(A\), and applying \(f\).
Knowledge Transfer¶
The construct transfers literally across mathematical subfields. Groups, rings, modules, orders, topologies, uniform structures, inner products, atlases, group actions, algebraic theories, and dependent families all use the same source–identification–definition–compatibility pattern. The surface formulas differ, but the operation remains transport rather than analogy because the target structure is defined through an exact map and preservation is proved.
Relationships to Other Abstractions¶
Current abstraction Transport of Structure Domain-specific
Parents (1) — more general patterns this builds on
-
Transport of Structure presupposes Isomorphism Prime
Transport of Structure presupposes Isomorphism as its target compatibility: it defines target structure so a chosen carrier equivalence becomes a structure-preserving invertible map.
Hierarchy paths (4) — routes to 2 parentless roots
- Transport of Structure → Isomorphism → Bijectivity → Function (Mapping)
- Transport of Structure → Isomorphism → Invariance
- Transport of Structure → Isomorphism → Bijectivity → Injectivity → Function (Mapping)
- Transport of Structure → Isomorphism → Bijectivity → Surjectivity → Function (Mapping)
Neighborhood in Abstraction Space¶
Transport of Structure sits in a sparse region of the domain-specific corpus (80th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Unclustered & Miscellaneous (1565 abstractions)
Nearest neighbors
- Category theory — 0.82
- Mathematical structure — 0.82
- Kernel — 0.82
- Lifting theory — 0.82
- Local diffeomorphism — 0.81
Computed from structural-signature embeddings · 2026-09-08