Not signed in (Sign In)

Not signed in

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

  • Sign in using OpenID

Discussion Tag Cloud

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

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeSep 6th 2017

    The keyword derivative used to redirect to “differentiable map”. I found that less than useful for many purposes of linking to it, and so I have now split it off as a stand-alone entry. Presently this contains nothing than pointers to other entries. But it is already useful to see how many entries on variants of “derivative” we have, and to have a place to collect them all.

    • CommentRowNumber2.
    • CommentAuthorTodd_Trimble
    • CommentTimeSep 6th 2017

    All the ones I saw listed so far seem to be classical notions from calculus as extending into analysis and geometry. But there are other conceptual usages, e.g., the derivative of a species, derivatives in Goodwillie calculus. Would it be inappropriate to include them in the list?

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeSep 6th 2017

    Would it be inappropriate to include them in the list?

    Yes!

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeSep 6th 2017

    Sorry, I misread. I wanted to say

    Yes! It is appropriate.

    No! It is not inappropriate.

    :-)