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 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

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).
    • created thin homotopy to service bicategory, at which I added the necessary qualifier 'Hausdorff' to the existence of the quotient of Pi_2 by thin homotopies. There is only a passing mention of the smooth version as I only needed the topological case.

      -David Roberts

    • At cartesian morphism a query/request for an anafunctor treatment of what is essentially the pseudofunctor associated to a fibration

      David Roberts
    • Actually, taking a look at the Sandbox, it's a bit full up and could do with a clean out (I shan't comment on what one usually finds in sandboxes in children's playgrounds ...). I propose we copy any serious words of wisdom to the HowTo, blank the Sandbox, and replace with a link to its own history.

      I know, I know, it's a wiki so I ought to just do it, but I figured that this was something I should get some consensus on first to see if it's just me that doesn't like it.

    • Our cogroup entry is described here as 'meager'. Can we expand it?
    • created Christoffel symbol for the MathOverflow discussion at
    • I started ordered pair to discuss how one might define such a thing in various foundations of mathematics.

    • I added a section to Gram-Schmidt process on "categorified Gram-Schmidt" (which would apply to 2-Hilbert spaces). This is illustrated with some representation-theoretic calculations which James Dolan showed me years ago; even though the write-up is still in a raw state, the calculations are way cool and should not be lost to posterity.

    • I have just posed the question:

       If we want to weaken this even further to provide a 
       simplicial model of, for example, a ((?,2)-category?, 
       how would we do this?
       Would we apply the lifting condition on all but three of 
       the indicies… and if so which three? (The first, last and ????)

      at quasi-category.

      Any and all thoughts would be appreciated.

    • I created a page for Riemannian metric based on a "blog post": and a suggestion of Urs Schreiber.

    • I added an "idea" to loop space . Not claiming, though, that everybody will find this idea the most helpful one. But to some extent I think it is.

      I had another look at delooping

      Eric, you drew some nice-looking diagrams there in the discussion section. At some point in the discussion I say that I don't understand these diagram. I still don't! :-)

      It would be nice if we could converge on this, because then we could move the diagrams out of the discussion into the text as a useful illustration.

      Could you describe in words what you mean these diagrams are depicting? I am guessing that probably we are just thinking of what an arrow and a point means in such a diagram differently. Let's sort this out. If we agree that the diagrams make sense they should feature more prominently, if we come to the conclusion that there is some misunderstanding we should put a clearer warning to the reader.

    • I added a section to idempotent monad on the idempotent monad associated with a monad.

    • I have been polishing the entry Chevalley-Eilenberg algebra on my personal web a bit.

      I thought it would be good to announce here what it is that I am currently thinking about. If nothing else, this will explain which entries you all see me working on here and thereby maybe facilitate interaction more.

      So currently I am thinking about the sought-for proposition that is now stated in the section Properties at the above entry. It sure looks like something like this proposition ought to be right, but I am not there yet.

    • I was kindly being alerted that the following long-awaited references are now available:

      Paul Goerss's account of the Hopkins-Miller-Lurie theorem, now linked to at A Survey of Elliptic Cohomology

      Lurie part VI on little cubes oo-operads, now linked to from Jacob Lurie

    • Rather than ask whether it's worth it and have Urs say "do it, don't talk about it!", I started a page to compare different notions of completion. Fortunately, we are well supplied with experts on the subject. What would be great would be a comparison of different completion processes. How widely they are applicable, e.g., to the enriched case? In which situations two or more coincide, etc.
    • A question at strict epimorphism for Mike Shulman. Or anyone else who has thought about bicategorical notions of epimorphisms.

      -David Roberts
    • Started a list at n-category of all the existing definitions of higher categories and comparisons between them. I'm sure I'm missing some, so please help!

    • Discussion resumes at the bottom of graph.

    • I made a UC Riverside Seminar on Cobordism and Topological Field Theories page to record all the notes from the seminar. Kind of like a seminar webpage, but in the nLab. Heh, I'm at home so I can't post comments to the n-category cafe (I'm trying to sort this out, my computer is not allowed to post comments currently).
    • I got tired off looking at a question mark on my personal web and added a stub for Hilbert schemes.
    • I weakened the definition of covering relation for directed graphs so that (x,y) satisfy the covering relation if their is an edge x\to y and no other path from x to y. The condition that there is no z with edges x\to z and z\to y is too strong.

    • This comment is invalid XML; displaying source. Following discussion here <a href="" >here</a>, I decided it made sense to have an <a href="" >FAQ entry on personal pages.</a> It doesn't say much at the moment, but I guess the only important piece of information is that you have to write Urs.
    • created pages for Tony Pantev and Ludmil Katzarkov

      (not much there yet, am just following the idea that it would be nice that most authors whose references are cited in some entry also have a page with at least a link to their website)

    • I added the case of Set-enriched category theory to the example section of Cauchy complete category (thanks to David Corfield for fixing my LaTeX errors), and inserted the definition at Karoubi envelope. There is an issue of choosing how to split idempotents which someone like Toby might want to say something about.

    • created page for Johan Louis Dupont, cited at simplicial deRham complex

      (given that at that entry I am trying to merge some of Dupont's work with some of that of Anders Kock, it is curious that JL Dupont and Anders Kock are decade-long colleagues in Aarhus, as Anders Kock kindly reminds me a minute ago)

    • To the entry on regular category I added a brief note describing an application of this idea and the calculus of relations to a paper of Knop. For the future I will try to flesh this note out as well as add a page on tensor categories.

      By the way, does the definition of a tensor category have to include linearity? It seems that the definitions vary depending on where one looks (e.g. whether the monoidal structure is an additive functor). Thanks.

    • I started an entry simplicial deRham complex

      on differential forms on simplicial manifolds.

      In parts this is for me to collect some standard references and definitions (still very incomplete on that aspect, help is appreciated -- is there a good reference by Dupont that is online available?)

      and in parts this is to discuss the deeper abstract-nonsense origin of this concept.

      I am thinking that

      • with differential forms understood in the synthetic context as just the image under Dold-Kan of the cosimplicial algebra of functions on the simplicial object of infinitesimal simplices in some space

      • it follows that the simplicial deRham complex of a simplicial object is just the image under Dold-Kan of the cosimplicial algebra of functions on the realization of the bisimplicial object of infinitesimal simplices in the given simplicial space.

      This looks like it is prretty obvious, once one stares at the coend-formula, but precisely that makes me feel a bit nervous. Maybe i am being too sloppy here. Would appreciate you eyeballing this.

    • Began entry with that name.
    • I wrote Poincare group as an entree to the project of carrying on in nLab the blog discussion on unitary representations of the Poincare group. I'm not a specialist of course, so I ask the experts to please examine for accuracy.

    • I expanded and polished the discussion of the abstract definition of of G-principal oo-bundles in an arbitrary (oo,1)-topos at principal infinity-bundle.

      Parts of this could/should eventually be moved/copied to action and action groupoid, but I won't do that now.

      I'd be interested in comments. One would expect that for the case that the ambient (oo,1)-topos is Top this style of definition should be well known in the literature, but I am not sure if it is. In fact, the examples listed further below in the entry, (the construction by Quillen and the Stasheff-Wirth construction) seems to indicate that this very simple very general nonsense picture has not been conceived as such before. Could that be true?

    • I've removed the request for help link from the main contents. It didn't get used much (though I got answers to my questions there!). Since we have yet to actually delete a page, rather than just blank the request for help page I've put a pointer to where one can ask questions (pretty similar to that on the FAQ).