representsFunctor

P170330
predicate

Indicates that one entity serves as a functor (a structure-preserving mapping) that represents or encodes another entity or structure.

Sample triples (1)

Subject Object
Eilenberg–MacLane spaces
surface form: Eilenberg–MacLane space
[X,K(G,n)] ≅ H^n(X;G)