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.
One wonders: why stop there? The notion of “constant” makes sense for any algebraic theory, and this is just the special case of the theory of (commutative) rings. For that matter, the notion generalizes further to any (say) first-order theory.
However, after briefly looking around, I didn’t see that we had any article that reflects this concept, which is a little odd considering how basic it is. So I guess one should be created.
1 to 3 of 3