MappingPackage2(A, C)

mappkg.spad line 108 [edit on github]

• A : SetCategory
• C : SetCategory

various Currying operations.

const : C -> Mapping(C, A)

const c is a function which produces c when applied to its argument.

constant : Mapping(C) -> Mapping(C, A)

constant(f) is the function g such that g a= f ().

curry : (Mapping(C, A), A) -> Mapping(C)

curry(f, a) is the function g such that g ()= f a.

diag : Mapping(C, A, A) -> Mapping(C, A)

diag(f) is the function g such that g a = f(a, a).