Not signed in

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

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry 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 homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics 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 superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

1. • CommentRowNumber1.
   • CommentAuthorAndrew Stacey
   • CommentTimeFeb 24th 2011
   • PermaLink
   Author: Andrew Stacey
   Format: MarkdownItexIt'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.

   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.

2. • CommentRowNumber2.
   • CommentAuthorAndrew Stacey
   • CommentTimeFeb 24th 2011
   • PermaLink
   Author: Andrew Stacey
   Format: MarkdownItex(PS Does this mean that I'm now a category theorist?)

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

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeFeb 24th 2011
   • (edited Feb 24th 2011)
   • PermaLink
   Author: Urs
   Format: MarkdownItexCongrats! 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.

   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.

4. • CommentRowNumber4.
   • CommentAuthorUrs
   • CommentTimeFeb 24th 2011
   • PermaLink
   Author: Urs
   Format: MarkdownItex> (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™"?

   (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™”?

5. • CommentRowNumber5.
   • CommentAuthorTim_Porter
   • CommentTimeFeb 24th 2011
   • (edited Feb 24th 2011)
   • PermaLink
   Author: Tim_Porter
   Format: MarkdownItexI 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.

   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.

6. • CommentRowNumber6.
   • CommentAuthorDavid_Corfield
   • CommentTimeMar 21st 2012
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexThe paper receives a citation in Hirokazu Nishimura's [Axiomatic Differential Geometry I](http://arxiv.org/abs/1203.3911) >In this paper we give an axiomatization of differential geometry comparable to model categories for homotopy theory. Weil functors play a predominant role.

   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.

7. • CommentRowNumber7.
   • CommentAuthorUrs
   • CommentTimeMar 21st 2012
   • (edited Mar 21st 2012)
   • PermaLink
   Author: Urs
   Format: MarkdownItex> 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 $\mathcal{K}$ should be a topos would presumably be demanding too much so long as $\mathcal{K}$ 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.

   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 $\mathcal{K}$ should be a topos would presumably be demanding too much so long as $\mathcal{K}$ 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.

8. • CommentRowNumber8.
   • CommentAuthorAndrew Stacey
   • CommentTimeMar 21st 2012
   • PermaLink
   Author: Andrew Stacey
   Format: MarkdownItexThat'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!).

   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!).