Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
There is a contradiction between what this entry says:
The empty function to the empty set is not a constant function.
and what the entry constant function says:
More generally, any function f:S→T is a constant function if f(a)=f(b) for every element a and element b of S.
In fact, constant function contradicts empty function even more directly:
If S and T are both empty, then the unique function from S to T is constant, but not constant at any particular value.
I guess constant function should be generalized to mention the two different notions of constant morphism, and this page should say that the empty function is constant in one sense but not the other.
1 to 3 of 3