Assertion: isomorphism | /r/HasProperty | given by projection
Facets:
value: onto the two factors
type: OTHER
Source sentences:
text: {n}((Y,y_{0})),} with the isomorphism given by projection onto the two factors, fundamentally because maps into a product space are exactly products of maps into the components – this is a functorial statement.