# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorJohn Baez
• CommentTimeJan 2nd 2010
I tried to start an entry called Fermat theory. Unfortunately I screwed up and forgot to capitalized "Fermat". Maybe a lab elf can clean up my mess?

There are also lots of other obvious ways this page could be improved...
• CommentRowNumber2.
• CommentAuthorEric
• CommentTimeJan 3rd 2010

I changed it for you.

• CommentRowNumber3.
• CommentAuthorEric
• CommentTimeJan 3rd 2010
• (edited Jan 3rd 2010)

This appears to be a "gotcha" with the way redirects work. You might want to change your link above to Fermat theory because if someone follows an external link to the lower case version, they can still find it.

• CommentRowNumber4.
• CommentAuthorTobyBartels
• CommentTimeJan 4th 2010

@ Eric #3

That's the cache bug. I fixed this case.

• CommentRowNumber5.
• CommentAuthorUrs
• CommentTimeJan 4th 2010

I linked to Fermat theory from Lawvere theory.

Somebody should find the time to integrate what Mike keeps discussing into these entries: the entry on Lawvere theory should mention how its a special case of a generalized multicategory, etc.

• CommentRowNumber6.
• CommentAuthorUrs
• CommentTimeJan 11th 2010
• (edited Jan 11th 2010)

I added some stuff to Fermat theory

• added the reference to the original article by Dubuc-Kock, which the talk was based on that the first version of the entry was based on

• added a section on Modules and derivations by using Thomas Nikolaus' blog summary

• removed John's disclaimer that he doesn't know what the definition of modules and derivations in this context are and instead pointed to the new section.

• also, I made explicit in the examples section on $C^\infty$-rings the way one defines the $C^\infty$-ring of smooth functions on a genralized space.

• CommentRowNumber7.
• CommentAuthorzskoda
• CommentTimeNov 28th 2012

A today’s arxiv article added to references at Fermat theory (it introduces super Fermat theory):

• David Carchedi, Dmitry Roytenberg, On theories of superalgebras of differentiable functions, arxiv/1211.6134
• CommentRowNumber8.
• CommentAuthorUrs
• CommentTimeNov 28th 2012

Thanks. One should mention Yetter’s work also

Something similar appears in def. 1.1, 1.2 of

For more on this see at synthetic differential supergeometry.

• CommentRowNumber9.
• CommentAuthorzskoda
• CommentTimeNov 28th 2012

Thank you. Carchedi and Roytenberg do not seem to be aware of Yetter’s paper – it is not listed in their references.

• CommentRowNumber10.
• CommentAuthorDavid_Corfield
• CommentTimeNov 28th 2012

They are aware:

[25] David N. Yetter. Models for synthetic supergeometry. Cahiers Topologie G´eom. Diff´erentielle Cat´eg., 29(2):87–108, 1988.

• CommentRowNumber11.
• CommentAuthorTobyBartels
• CommentTimeDec 4th 2012
• (edited Dec 4th 2012)

I edited some of the historical material to be more accurate. (Well, the inaccuracy was already corrected further down, but I made it just not appear in the first place.)

I also added some more details to the paragraph on Hadamard that maybe aren't really necessary (or aren't necessary here).