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

(0 1)-category-theory 2-category 2-category-theory 2-monad abelian-categories accessible adjoint algebra algebraic algebraic-geometry analysis arithmetic beauty book bug bundle categories category category-theory chern-simons-theory cohesion cohesive-homotopy-type-theory cohomology combinatorics complex-geometry conference connection constructive constructive-mathematics cosmology database deformation-theory descent differential differential-cohomology differential-geometry duality enriched enriched-category-theory enrichment examples factorization-system fiber fibration forms foundation foundations functional-analysis functor galois-theory gauge-theory gebra general topology geometric geometric-quantization geometry gravity group-theory higher higher-algebra higher-category-theory higher-geometry higher-lie-theory higher-topos-theory history homological homological-algebra homotopy homotopy-theory homotopy-type-theory homtopy-type-theory infinity-groupoid integration-theory internal-categories kan lie lie-algebras lie-theory limit limits linear linear-algebra locale localization localization-theory logic manifolds mathematics measure measure-theory mechanics meta modal-logic model model-category-theory monoidal monoidal-category monoidal-category-theory morphism n-groups newpage noncommutative noncommutative-geometry object operator operator-algebra order-theory philosophy physics predicative pretopology pro-object probability-theory quantum quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry set set-theory sheaf simplicial site space stable-homotopy-theory stack string string-theory subobject supergeometry symplectic-geometry tannaka tensor terminology theory topologica-quantum-field-theory topology topos topos-theory torsor tqft type type-theory universal weighted-limit

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.
    • CommentAuthorAndrew Stacey
    • CommentTimeFeb 24th 2011

    It’s been published!

    http://www.tac.mta.ca/tac/volumes/25/4/25-04abs.html

    To reiterate what it says in the introduction: thanks to all those who commented on early versions, and especially to Urs for the title.

    • CommentRowNumber2.
    • CommentAuthorAndrew Stacey
    • CommentTimeFeb 24th 2011

    (PS Does this mean that I’m now a category theorist?)

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeFeb 24th 2011
    • (edited Feb 24th 2011)

    Congrats! I have added the new full reference data to diffeological space and Frölicher space. But probably there are more entries that cite your article.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeFeb 24th 2011

    (PS Does this mean that I’m now a category theorist?)

    Haven’t you received yet by mail the button saying “Officially approved category theorist™”?

    • CommentRowNumber5.
    • CommentAuthorTim_Porter
    • CommentTimeFeb 24th 2011
    • (edited Feb 24th 2011)

    I hope you are not considered to have category theorist status, as that often leads to research funds drying up! :-( but let me add my congrats to Urs’s.

    • CommentRowNumber6.
    • CommentAuthorDavid_Corfield
    • CommentTimeMar 21st 2012

    The paper receives a citation in Hirokazu Nishimura’s Axiomatic Differential Geometry I

    In this paper we give an axiomatization of differential geometry comparable to model categories for homotopy theory. Weil functors play a predominant role.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeMar 21st 2012
    • (edited Mar 21st 2012)

    Hirokazu Nishimura’s Axiomatic Differential Geometry I

    It’s not quite clear to me what this article achieves over the work that it cites.

    Remark 2 there seems to be subject to a misunderstanding, where it says:

    the requirement that 𝒦 should be a topos would presumably be demanding too much so long as 𝒦 is expected to be naturally realizable in our real world. Synthetic differential geometers have constructed their well-adapted models, which are toposes, in their favotite imaginary world.

    • CommentRowNumber8.
    • CommentAuthorAndrew Stacey
    • CommentTimeMar 21st 2012

    That’s actually quite an easy paper to find out who cites it given the Humpty-Dumpty nature of its title. From http://search.arxiv.org:8081/?query=smootheology&in=, I find 7 citations (one with a misssspelllling of my name!).