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 book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma 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 finite 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 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

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.
    • CommentAuthorDavid_Corfield
    • CommentTimeMay 17th 2010
    • (edited May 17th 2010)

    Urs somewhere had the idea to collect the latest news from the nLab to post at the Cafe. Perhaps we could do this on a monthly basis. To see if this is feasible I’ll start a discussion thread (this is the first) and anyone can tell me over the coming days what they take to be the highlights of nLab activity.

    The first one could be retrospective back to Urs’ post 3000 and One Things to Think About .

    Suggestion for titles are welcome too.

    • CommentRowNumber2.
    • CommentAuthorDavid_Corfield
    • CommentTimeMay 25th 2010

    What no highlights? If we’re going to do this, it had better be at the same time as material is added to nLab. It will be hard to look back over several weeks to pick out the best moments.

    • CommentRowNumber3.
    • CommentAuthorAndrew Stacey
    • CommentTimeMay 25th 2010

    Point taken. Alright, here’s what I’ve been up to recently:

    My recent n-Activity can be roughly split into three areas. The first of these is differential topology of mapping spaces, the second is related to topological vector spaces, whilst the third is not so much nLab as nForum.

    Sparked by a project with David Roberts to mollify his construction of the topological bigroupoid, I started transferring my old notes on the differential topology of loop spaces to the nLab. This is something I’ve been threatening to do for a while, and finally the overwhelming urge of sheer laziness prompted me to do something about it. (To explain, I found that I was writing out essentially the same argument for the bigroupoid as I had for the loop space; as any good mathematician knows, there are only three numbers: 0, 1, and ∞. Having started writing the details twice, I was worried that I would end up writing them out ∞ number of times. So writing them into the nLab means that I can accomplish that ∞ number of times in one go.) In order to make it look something like active research, I’ve extended it from loop spaces to mapping spaces. The case where the mapping space is a compact (smooth) manifold is known, so I’ve had to go to sequentially compact Froelicher spaces to find something new to say.

    (NB For those unfamiliar with terms from functional analysis, a mollifier is a function that takes non-smooth maps and makes them smooth.)

    This led me into the demesne of topological vector spaces, as the linear models of mapping spaces can be fairly arbitrary locally convex topological vector spaces. Again, there’s a fair amount of material that I’ve been meaning to import to the nLab but not gotten round to. I thought I’d start with Greg Kuperberg’s amazing graph. With Tim van Beek, I’ve been having fun reminding myself of the subtleties and differences between barrelled spaces, bornological spaces and lots of other variants.

    Finally, I’ve been working on improving the nForum. There, we now have a browser-savvy mathematics capability that will serve you your mathematics to your taste: the chef’s special is, of course, MathML but if you prefer it raw we can do Math Tartar (aka, the raw itex source), or if you prefer it flame-grilled to avoid any risk of Mad-Mathematician Disease, we can also do PNG. For those with exotic tastes, we can also offer it as SVG. We also have a host of new features: tags, a separate area for discussions that aren’t particularly nLab focussed, a notice board, and one day soon we may even get our own favicon.

    • CommentRowNumber4.
    • CommentAuthorTim_van_Beek
    • CommentTimeMay 25th 2010

    What is a favicon?

    Urs has created a template page.

    There was some activity concerning general relativity and Lorentzian geometry, starting with smooth Lorentzian space.

    A remark of Zoran Skoda let me to study hyperfunctions a little bit, which is about a very neat alternative approach to generalized functions, more general than Schwartz distributions, and at least in one dimension simpler, too. The link to D-modules is still missing, however.

    My quest to get some classical AQFT content to the nLab has led to Haag-Kastler axioms, Haag-Kastler vacuum representation, Wightman axioms, the Osterwalder-Schrader theorem and a definition in terms of these of conformal field theorys. This definition includes operator product expansions, which provide the link to vertex operator algebras. As a side effect some operator theory got added, too, for example on the pages von Neumann algebra, operator algebra and unbounded operator. The ultimate goal is of course to join the dots with category theory, for example it would be nice to have the proof of Müger of the Doplicher-Roberts reconstruction theorem on the nLab.

    • CommentRowNumber5.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 25th 2010

    Most of my recent efforts have been small scale, but two of the larger ones were AT category and composition algebra. I’ve also been adding at times to the document on Surface Diagrams on my personal web (and David C., I haven’t forgotten your overview question on stratified spaces, and I’m sorry I haven’t replied sooner).

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeMay 25th 2010
    • (edited May 25th 2010)

    Apart from the seminar notes on (oo,1)-topos theory that I keep writing (but I think (oo,1)-category theory - contents and (oo,1)-topos theory - contents are beginning to look good) I am mainly trying to bring on my personal web the entry differential cohomology in an (oo,1)-topos, and the entries relating to it, into shape.

    Progress is unfortunately much slower than I would hope. But some things improve, slowly but surely. For instance I am glad that I finally cleaned up and started to expand Lie infinity-algebroid with some serious indications of and examples for the incarnation as infinitesimal oo-Lie groupoids. In that context I also started telling more details of the story at Lie infinity-groupoid, but that is still pretty stubby.

    In the course of this I keep adding bits and pieces here and there. For instance this morning I posted some proofs at model structure on simplicial presheaves on the Localization of (oo,1)-presheaves at a coverage (instead of at a full Grothendieck topology). This I am using in the discussion at locally n-connected (n,1)-topos as a tool for constructing examples of those. The central motivating example is the category of (oo,1)-sheaves on the site CartSp equipped with its good open cover coverage – and finally I had recently found the time to leave some comments at CartSp as to the relevance of this innocent-looking little category.

    All this, of course, is still an outgrowth of the development we had a while ago at homotopy groups in an (infinity,1)-topos. After some back and forth it looks like the following generalization of the picture there is beginning to stabilize finally: oo-Lie theory is about geometric homotopy theory in a locally oo-connected oo-topos, but not with respect to the global geometric morphisms HΠGrd\mathbf{H} \stackrel{\overset{\Pi}{\to}}{\stackrel{\leftarrow}{\to}} \infty Grd, but with respect to a relative such morphisms HΠH redΠ infGrd\mathbf{H} \stackrel{\overset{\Pi}{\to}}{\stackrel{\leftarrow}{\to}} \mathbf{H}_{red} \stackrel{\overset{\Pi_{inf}}{\to}}{\stackrel{\leftarrow}{\to}} \infty Grd, where H\mathbf{H} is an infinitesimal thickening of H red\mathbf{H}_{red}, which in turn is a finite thickening of the point.

    The picture emerging here is still being drawn at structures in an (oo,1)-topos.

    I just wish the day had more hours. It’s shame how long I have been elaborating on all this already, and still counting.

    • CommentRowNumber7.
    • CommentAuthorEric
    • CommentTimeMay 25th 2010

    I know the focus is mostly on the nLab proper, but I would like to highlight some technological improvements.

    • This nForum

    Andrew has made some real tremendous technological improvements to the nForum. The new itex is fantastic. This is now a top notch (probably the best in the world) forum for discussing maths

    • itex for Wordpress

    Andrew also made itex available to maths bloggers who use Wordpress. This is an awesome technological advance that I think is so far greatly under-appreciated.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeMay 25th 2010

    Yes, we should mention that in any nCafe post, too. Also to raise interest in nForum discussion. I think even though we pointed it out many times, several nCafe regulars are still ignorant of or have forgotten about the nForum.

    • CommentRowNumber9.
    • CommentAuthorEric
    • CommentTimeMay 25th 2010

    Plus, any nCafe regular who may have once known about the nForum, probably knew about an early incarnation before the nice itex/CC capabilities were in their current form. It is really nice now.

    • CommentRowNumber10.
    • CommentAuthorIan_Durham
    • CommentTimeMay 26th 2010

    Andrew also made itex available to maths bloggers who use Wordpress. This is an awesome technological advance that I think is so far greatly under-appreciated.

    I never heard if that is only available to bloggers who used WordPress software on their own servers or if it can be used by WordPress bloggers who are hosted at WordPress. I’d really like to know since I am in the latter category and have gotten complaints about the math rendering.

    • CommentRowNumber11.
    • CommentAuthorHarry Gindi
    • CommentTimeMay 26th 2010

    Andrew has made some real tremendous technological improvements to the nForum. The new itex is fantastic. This is now a top notch (probably the best in the world) forum for discussing maths

    The nforum is great, but how good a forum is for discussing a subject is definitely more than just the technical aspects of the forum. The only problem that I see is that the forum community is currently very small, which limits the ease of discussing mathematics here. Have any posts on the cafe been made inviting readers to join us?

    • CommentRowNumber12.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 26th 2010

    I don’t know about posts per se, but Urs has made impassioned pleas in comments at the Café which elicited rather a lot of discussion there.

    • CommentRowNumber13.
    • CommentAuthorHarry Gindi
    • CommentTimeMay 26th 2010

    I think that once the technical kinks are worked out, Andrew should post an open invitation as an actual post on the Cafe.

    • CommentRowNumber14.
    • CommentAuthorIan_Durham
    • CommentTimeMay 26th 2010

    The only problem that I see is that the forum community is currently very small

    I was very surprised to see that there are only 14 people with over 100 posts on the nForum. Obviously I’m more of a bystander in this whole endeavor so my opinion shouldn’t carry much weight, but there are aspects of the smaller community that I do enjoy (namely, more seems to get done and conversations tend to be deeper). :-)

    • CommentRowNumber15.
    • CommentAuthorAndrew Stacey
    • CommentTimeMay 26th 2010

    To address Ian and Harry’s comments about the size of the community: that’s the point of the top-level division of the nForum into the nLab area and the Atrium (see, I do know some latinesque words). The smaller nLab community will get more work done and have deeper conversations whilst the (possibly) larger Atrium community will look on and make “rude comments”. Having them next to each other makes it easy for both to interact at whatever level works best. That’s the idea at least!

    Harry, what “technical kinks” are left?

    • CommentRowNumber16.
    • CommentAuthorHarry Gindi
    • CommentTimeMay 26th 2010

    @Andrew: Not many, but you said you wanted to polish the forum a bit more before bringing it out of “beta”, as it were. At least that was what you said about a month ago when we had a similar conversation about this.

    • CommentRowNumber17.
    • CommentAuthorEric
    • CommentTimeMay 26th 2010

    Harry, what “technical kinks” are left?

    There is one minor kink remaining with regard to quoting math mode. It doesn’t exit properly and the line following the quote gets suck into the quote area. I’ll see if I can reproduce. If this doesn’t I’ll need to try later

    Trying to test quoting math

    E=mc 2E = m c^2

    Did it work? Nope. See source.

    • CommentRowNumber18.
    • CommentAuthorMike Shulman
    • CommentTimeMay 27th 2010

    Recently I’ve been working mostly on two pages. One is codiscrete cofibration, which is about a way to canonically recover a proarrow equipment from a 2-category with sufficient structure. Essentially, one can define in 2-categorical terms which cospans ought to be the cographs of profunctors, and then construct a proarrow equipment out of those. The literature doesn’t seem to contain a version of this which works for arbitrary enriched categories (only for Cauchy-complete ones), but I think that by a judicious choice of a factorization system (now described at codiscrete cofibration) it can be made to work. A neat side benefit of this is that there is actually an intrinsic characterization of the VV-fully-faithful functors in 2-categorical terms in VCatV Cat (they are not just the representably fully faithful ones).

    I have also been thinking about how functorial this construction is, which also doesn’t seem to be in the literature. It seems right now to be very functorial; in fact it may even be a full embedding of some 3-category of 2-categories into some 3-category of proarrow equipments. This is particularly interesting because a number of monads on equipments relative to which one might want to define generalized multicategories can be obtained in this way from 2-monads on 2-categories, which require less work to construct.

    The other circle of pages I’ve been working on is derivators, along with pointed derivators and stable derivators. I haven’t been able to find a really satisfying introductory treatment of derivators anywhere, so I’m gradually trying to create one at the nLab as I puzzle things out myself. Working with derivators is an interesting experience; it feels kind of like being a new category theory student again and having to learn a whole new set of tools. Statements that are “obvious” for 1-categories require entirely new proofs in the world of derivators, and I’m only gradually getting comfortable with the tools used in those proofs. Hopefully writing slow and detailed proofs on the nLab pages will help me and others learn to manipulate those tools as easily as we do the more familiar toolbox of 1-categories.

    • CommentRowNumber19.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 27th 2010
    • (edited May 27th 2010)

    I’ve been thinking a little bit about partitions of unity. Covers with subordinate partitions of unity (numerable covers) are particularly nice, but are only guaranteed to exist for paracompact spaces, or normal spaces if you are handed a locally finite cover. In fact numerable covers form a Grothendieck pretopology, and it is using this site that all the classical theorems for algebraic topology should be stated, instead of just for paracompact spaces with the usual open cover pretoplogy.

    Actually it is enough, instead of having a partition of unity, to have an arbitrary collection of functions u α:X 0u_\alpha:X \to \mathbb{R}_{\geq 0} such that αu α(x)\sum_\alpha u_\alpha(x) is finite for all xx, because this can be further refined to end up with a subordinate partition of unity. This is essentially an old result from a PhD thesis from the 60s. This can be interpreted as requiring XX having enough coprobes with values in the rig 0\mathbb{R}_{\geq 0}

    • CommentRowNumber20.
    • CommentAuthorDavid_Corfield
    • CommentTimeMay 27th 2010

    OK. So I’ve posted your comments at the Cafe. No doubt some of those links will be faulty.

    Andrew, is there supposed to be a page for ’barrelled spaces’?

    • CommentRowNumber21.
    • CommentAuthorTim_van_Beek
    • CommentTimeMay 27th 2010

    That would be barreled space (we could not reach an agreement yet if it should be barrelled or barreled).

    • CommentRowNumber22.
    • CommentAuthorDavid_Corfield
    • CommentTimeMay 27th 2010

    OK, have changed it. You might put in redirects.

    • CommentRowNumber23.
    • CommentAuthorAndrew Stacey
    • CommentTimeMay 27th 2010

    I didn’t think we needed to reach an agreement!

    More importantly, I thought I’d put in the redirects. It appears that I did not, an error that I have now corrected. I trust that that removes the blot on my escutcheon.

    • CommentRowNumber24.
    • CommentAuthorDavid_Corfield
    • CommentTimeMay 27th 2010

    @5: Todd, I look forward to that, and perhaps someday an explanation of the name epistemologies.

    • CommentRowNumber25.
    • CommentAuthorTobyBartels
    • CommentTimeSep 3rd 2010

    Re ‘barreled’ vs ‘barrelled’:

    The former is American spelling and the latter is British. (Compared ‘traveled’ vs ‘travelled’.)