# MappingPackage2(A, C)ΒΆ

- A: SetCategory
- C: SetCategory

various Currying operations.

- const: C -> A -> C
`const c`

is a function which produces`c`

when applied to its argument.

- constant: () -> C -> A -> C
`constant(f)`

is the function`g`

such that`g a= f ()`

.

- curry: (A -> C, A) -> () -> C
`curry(f, a)`

is the function`g`

such that`g ()= f a`

.

- diag: (A, A) -> C -> A -> C
`diag(f)`

is the function`g`

such that`g a = f(a, a)`

.