Canonical construction relation type

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.

Directed semantics

Every direct mAtlas edge is an authored source → target assertion of this type.

Term code: canonical-construction
Source role: Canonically constructs
Target role: Canonically constructed from
Direct relations in this release: 124
Predecessor-level policy: none
Prerequisite traversal: none

Machine-readable record

/data/latest/relation-types/canonical-construction.json provides this definition and the IDs of every direct relation of this type.

A path may traverse an edge backwards for connectivity, but that never reverses the authored source-to-target assertion.