Binary Function - Category Theory

Category Theory

In category theory, n-ary functions generalise to n-ary morphisms in a multicategory. The interpretation of an n-ary morphism as an ordinary morphisms whose domain is some sort of product of the domains of the original n-ary morphism will work in a monoidal category. The construction of the derived morphisms of one variable will work in a closed monoidal category. The category of sets is closed monoidal, but so is the category of vector spaces, giving the notion of bilinear transformation above.

Read more about this topic:  Binary Function

Famous quotes containing the words category and/or theory:

    I see no reason for calling my work poetry except that there is no other category in which to put it.
    Marianne Moore (1887–1972)

    If my theory of relativity is proven correct, Germany will claim me as a German and France will declare that I am a citizen of the world. Should my theory prove untrue, France will say that I am a German and Germany will declare that I am a Jew.
    Albert Einstein (1879–1955)