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: (R -> S, OnePointCompletion R) -> OnePointCompletion S

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

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

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