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

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex-geometry computable-mathematics computer-science connection constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry goodwillie-calculus graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory history homological homological-algebra homology homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie lie-theory limit limits linear linear-algebra locale localization logic mathematics measure-theory modal-logic model model-category-theory monoidal monoidal-category-theory morphism motives motivic-cohomology nonassociative noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pasting philosophy physics planar pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory type type-theory universal variational-calculus

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
    • CommentTimeJun 15th 2010
    • (edited Jun 15th 2010)
    Has anyone been following the long series of articles by Nishimura on generalized smooth spaces?

    He relates Frölicher-space technology with synthetic differential geometry. My impression from a quick glance is that he is following the basic approach of

    - Anders Kock, _Convenient vector spaces embed into the Cahiers Topos_


    In fact, looking at that I see that I missed all along that I had been re-inventing the wheel. The site ThCartSp (infinitesimally thickened Cartesian spaces) that I have been so happily studying oo-shaves on is the site for the Cahiers-topos and well-studied. I had not known that!
    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeJun 15th 2010

    Hm, Nishimura has a special way of writing. In various articles he proceeds from conjectures. Not sure yet what to make of all this.

    • CommentRowNumber3.
    • CommentAuthorAndrew Stacey
    • CommentTimeJun 15th 2010

    The link to the articles got mangled somehow and didn’t make it through the parser. Could you repost it, please? If you’re cut-and-pasting from somewhere, use the MarkdownItex formatter as it handles urls better (you appear to have used the Html formatter in the above). The native Markdown link syntax is [text](url).

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeJun 15th 2010
    • (edited Jun 15th 2010)

    use the MarkdownItex formatter as it handles urls better (you appear to have used the Html formatter in the above).

    I switched to HTML after Mardown didn’t work! But HTML didn’t work either.

    This is from a general experience I have on the nLab: if I link to long page names with extra symbols and anchors, then the Markdown syntax gets mixed up, while HTML still works.

    Anyway, the link was simply to the list of articles that one gets when going to arXiv and searching for author name “Nishimura”.

    • CommentRowNumber5.
    • CommentAuthorAndrew Stacey
    • CommentTimeJun 15th 2010

    Do you paste the links in literally, as <a href="link">text</a>? If so, all the filters are going to complain. The absolute best way is to use the native Markdown syntax that I outlined above: [text](link) since then Markdown intelligently replaces the ampersands and stuff. For example, this discussion has an ampersand in it.

    • CommentRowNumber6.
    • CommentAuthorAndrew Stacey
    • CommentTimeJun 15th 2010

    Back on track, thanks for reminding me of those papers - I’ve been bookmarking them to read later but haven’t gotten round to it. I’ll bump them up the list!

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeJun 15th 2010

    Andrew,

    when I put links into nLab pages to subsections of other pages, very frequently the method that you recommend fails, while the method that you say will fail works fine for me! :-)

    It’s interesting that you suggest the opposite. Now I am wondering what’s going on.

    • CommentRowNumber8.
    • CommentAuthorAndrew Stacey
    • CommentTimeJun 16th 2010

    Here’s the link:

    arXiv on Nishimura