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 k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum 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 sheaves 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.
   • CommentAuthorEric
   • CommentTimeJul 30th 2010
   • PermaLink
   Author: Eric
   Format: MarkdownItexHi Domenico, I was considering printing out the discussion you were having with Urs here: [ is every connection flat?](http://www.math.ntnu.no/~stacey/Vanilla/nForum/comments.php?DiscussionID=723) but part of the discussion occurred before comments were proper XHTML so some old comments no longer display properly. It's not urgent, but for history's sake, I wonder if you could paste the source below to your comment [here](http://www.math.ntnu.no/~stacey/Vanilla/nForum/comments.php?DiscussionID=723&Focus=5099#Comment_5099)? >Urs, nothing to apologize! one writes things in a forum so that others can read them when they have time. the day I'll want you to immediately reply I'll use Skype instead, I promise :-) but let us come back to n-connections. I'm glad you like my point of view. I'll try to develop it better as february (and exams..) ends. there's a point in what you write that confuses me: >>2-functors $\mathcal{P}_1(X) \to \mathbf{B}^U(1)$ for G a 2-group >do you mean 2-functors $\mathcal{P}_1(X) \to \mathbf{B}G$ for $G$ a 2-group? Only so it displays properly. Thanks!

   Hi Domenico,

   I was considering printing out the discussion you were having with Urs here:

   is every connection flat?

   but part of the discussion occurred before comments were proper XHTML so some old comments no longer display properly.

   It’s not urgent, but for history’s sake, I wonder if you could paste the source below to your comment here?

   Urs, nothing to apologize! one writes things in a forum so that others can read them when they have time. the day I’ll want you to immediately reply I’ll use Skype instead, I promise :-) but let us come back to n-connections. I’m glad you like my point of view. I’ll try to develop it better as february (and exams..) ends. there’s a point in what you write that confuses me:

   2-functors $\mathcal{P}_1(X) \to \mathbf{B}^U(1)$ for G a 2-group

   do you mean 2-functors $\mathcal{P}_1(X) \to \mathbf{B}G$ for $G$ a 2-group?

   Only so it displays properly. Thanks!

2. • CommentRowNumber2.
   • CommentAuthorAndrew Stacey
   • CommentTimeJul 30th 2010
   • (edited Jul 30th 2010)
   • PermaLink
   Author: Andrew Stacey
   Format: MarkdownItexOr alternatively, I could finally get round to implementing a fix for all these blockquotes that broke when we switched to XHTML. For those interested, the problem is that `<blockquote>something</blockquote>` is invalid XHTML as the contents of a blockquote have to be top-level tags (headers, p, divs, that sort of thing). Lots of the old entries that used the HTML formatter contained these. So now the validator takes a look at blockquote environments and scans through its "children". If it finds one that shouldn't be a direct child of a blockquote tag, it sticks it in a 'p' tag. For my next trick, I'll fix those pesky ampersands. --- In case it's not clear: this means that that thread should now display correctly (it does for me) and that Domenico doesn't need to do anything about it.

   Or alternatively, I could finally get round to implementing a fix for all these blockquotes that broke when we switched to XHTML.

   For those interested, the problem is that <blockquote>something</blockquote> is invalid XHTML as the contents of a blockquote have to be top-level tags (headers, p, divs, that sort of thing). Lots of the old entries that used the HTML formatter contained these. So now the validator takes a look at blockquote environments and scans through its “children”. If it finds one that shouldn’t be a direct child of a blockquote tag, it sticks it in a ’p’ tag.

   For my next trick, I’ll fix those pesky ampersands.

   ---

   In case it’s not clear: this means that that thread should now display correctly (it does for me) and that Domenico doesn’t need to do anything about it.

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeJul 30th 2010
   • PermaLink
   Author: Urs
   Format: MarkdownItexJust in case you haven't seen it: Domenico said a few days back that he'd go on a vacation. I suppose he is not online currently.

   Just in case you haven’t seen it: Domenico said a few days back that he’d go on a vacation. I suppose he is not online currently.

4. • CommentRowNumber4.
   • CommentAuthorEric
   • CommentTimeJul 31st 2010
   • PermaLink
   Author: Eric
   Format: MarkdownItexThanks Andrew. You rock :)

   Thanks Andrew. You rock :)

5. • CommentRowNumber5.
   • CommentAuthordomenico_fiorenza
   • CommentTimeAug 8th 2010
   • PermaLink
   Author: domenico_fiorenza
   Format: MarkdownItexHi Eric. Just come back from vacation :) Great job, Andrew!

   Hi Eric. Just come back from vacation :)

   Great job, Andrew!

6. • CommentRowNumber6.
   • CommentAuthorEric
   • CommentTimeAug 8th 2010
   • PermaLink
   Author: Eric
   Format: MarkdownItexWelcome back! I hope you had a great vacation, but I won't pretend not to be jealous :)

   Welcome back! I hope you had a great vacation, but I won’t pretend not to be jealous :)