| 
|
Quote: a type retract f is the identity on its range (its set of values over the universal domain)
topics >
all references >
references c-d >
Topic:
type retract
Quotation Skeleton
Thus, a retract f of D "collapses" D … i.e., f maps each element of D into … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: type retract (12 items)