OnePointCompletionFunctions2(R, S)

complet.spad line 199 [edit on github]

• R : SetCategory
• S : SetCategory

Lifting of maps to one-point completions. Date Created: 4 Oct 1989

map : (Mapping(S, R), OnePointCompletion(R)) -> OnePointCompletion(S)

map(f, r) lifts f and applies it to r, assuming that f(infinity) = infinity.

map : (Mapping(S, R), OnePointCompletion(R), OnePointCompletion(S)) -> OnePointCompletion(S)

map(f, r, i) lifts f and applies it to r, assuming that f(infinity) = i.