Assertion: geometric realization | /r/HasProperty | weak equivalence of spaces
Facets:
Source sentences:
text: A map of simplicial sets is defined to be a weak equivalence if its geometric realization is a weak equivalence of spaces.