hasMorphismsCorrespondingTo

P154724
predicate

Indicates that there exist morphisms between two structures such that they correspond in a specified way (e.g., via a functor, equivalence, or structural mapping) according to the given context.

Sample triples (1)

Subject Object
Sullivan minimal model in rational homotopy theory
surface form: Sullivan minimal model
rational homotopy classes of maps between spaces