OpenMath Content Dictionary: setname3

Canonical URL:

http://www.openmath.org/cd/setname3.ocd

CD File:

setname3.ocd

CD as XML Encoded OpenMath:

setname3.omcd

Defines:

function_set

Date:

2003-01-07

Version:

1

Review Date:

Status:

experimental

The function_set operator generates the set of functions between the sets specified as its arguments.

function_set

Description:

The function_set operator generates the set of functions between the sets specified as its arguments.

cf Hom(A,B) in Category theory, and mapsto in the sts CD.

For a set of n-argument functions, function_set will take n+1 arguments, specifying the sets of the n arguments and the range.

Signatures:

sts