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.
created Kock-Lawvere axiom
reacted and replies to Zoran at Kock-Lawvere axiom.
Can anyone help with the terminology issue on "Weil algebra" as "algebra of the form R + m with m a nilpotent ideal"? This seems to be standard terminology in the SDG literature.
(â€¦years laterâ€¦)
Finally added pointer (here) to what seems to be the original article:
Added this also to derivative, partial derivative and differentiation.
1 to 3 of 3