OrderedCompletionFunctions2(R, S)

complet.spad line 110 [edit on github]

• R : SetCategory
• S : SetCategory

Lifting of maps to ordered completions. Date Created: 4 Oct 1989

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

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

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

map(f, r, p, m) lifts f and applies it to r, assuming that f(plusInfinity) = p and that f(minusInfinity) = m.