Re: Name of this property? F(A^B^C) = F(A)^F(B)^F(C)

Francois Grieu <fgrieu@xxxxxxxxxxxx> writes:

A whide class of functions have the property that
for any 3 inputs A, B, C

F(A^B^C) = F(A)^F(B)^F(C)

Is there a name for this property, or this class of functions?

This class is a superset of the class of functions such that
for any 2 inputs A, B

F(A^B) = F(A)^F(B)

For two objects, the name depends a little on the type of operation
that ^ is. Most likely you'd call F a homomorphism. You might call
F linear, though usually linear often implies a little more.

For three objects, I'm not sure what you'd call it. In situations
where you have a bit more structure, the three object version will
imply the two object version (for example, if you can find an object
E such that E^A = A and F(E)^F(A) = F(A) for all A).

David.
.