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.
Added redirects, including Cart.
A side remark: this page redirects “Cartesian Space”. However, the nLab has a page cartesian space. Is this redirect appropriate here?
True – I am moving all of the following redirects to cartesian space:
[[!redirects Cartesian Space]]
[[!redirects Cartesian Spaces]]
[[!redirects smooth Cartesian space]]
[[!redirects smooth Cartesian spaces]]
As far as I can see, Dubuc’s 1979 paper only talks about the site with objects M⨯Spec(W), where W is a Weil algebra and M is a smooth manifold, and does not talk specifically about the site of cartesian spaces (i.e., M need not be a cartesian space). (And the site of smooth manifolds was probably known before Dubuc.)
Kock (1981) also consider objects of the form M⨯Spec(W).
Kock (1986) switches to objects of the form R^n⨯Spec(W), but without any indication whatsoever why restricting to this site gives the same sheaves.
I have also added that the idea is at least implicit in:
1 to 6 of 6