Quote: the identity function on functions is a retract for all functions

Quotation Skeleton

An element a.memberOf.P.omega. is called a retract if … Consider fun. [.lambda.u.lambda.x.u(x)] No matter what u.memberOf.P.omega. we … That is to say, the range of fun … set of all (graphs of) functions … … our universal space is indeed rich in retracts. …   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: a type retract is a function which is the identity on its range

Related Topics

Topic: type retract (12 items)