Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Just look at the list of all wanted pages, here are a few stubby articles: 1-topos, 2-Hilbert space, Alexandroff compactification, Banach manifold. (Yes, I went alphabetically.)
I have just made links to all of the contentful orphaned paged on the main nLab web. However, they may still be walled gardens; Instiki doesn't find those automatically.
In general, when you create a new page, it's a good idea to create a link to it from some existing page on a more general topic. (The links that I just made may not have been the best!) That way, it's more likely that people will actually find their way to your new page.
I wanted to start expanding on the big story at nonabelian Lie algebra cohomology, but then found myself wanting to polish first a bit further the background material.
I came to think that it is about time to collect our stuff on "oo-Lie theory".
So I created a floating table of contents
and added it to most of the relevant entries.
This toc is based on the one on my personal web here -- but much larger now -- and still contains some links to my web, where I am trying to develop the full story. If anyone feels ill-at-ease with these links to my personal web, let me know.
considerably expanded the entry strict 2-group.
Apart from adding an introductory discussion, and expanding the list of examples, in particular by adding that of automorphism 2-groups ...
... I in particular give the detailed translation prescription for how to encode a 2-group by a crossed module at In terms of crossed modules
This is to eventually serve as a supplement to the discussion at nonabelian group cohomology. So I spent some energy on disentangling the four different (though isomorphic) ways a crossed module gives rise to a 2-group (following my article with David Roberts).
I created [[Riemann surface]] and [[Myers-Steenrod theorem]].
added the detailed definition to string Lie 2-algebra
I started classical mathematics to link to from internal logic.
created quick stub for framed bicategory
but my machine's battery will die any second now...
It looked to me like Urs hit Ctrl-V instead of Ctrl-C there, so I rolled back, but now Urs is editing again, so probably he's just doing something that I interrupted. Since I can't leave a note there now, I'll leave one here: I won't interfere again, Urs.
added to (infinity,1)-operad the definition/proposition of the model structure for the category of (oo,1)-categories of operations here
Or possibly not by Maarten. Anyway, there is some discussion at superdifferential form and Weil algebra that people into that sort of thing should look at.
I added to vertical categorification the comments that I'd made at MathOverflow, as Urs has requested. I'm not sure that I'm happy with where I put them and how I labelled them, but maybe it's better if other people judge that.
New item homotopy coinvariants functor, after a paper of Kathryn Hess. For now just a definition.
More discussion about this at category theory.
Gavin Wraith wrote geometric theory.
New entry Eckmann-Hilton duality. Discussion welcome.
I edited Trimble n-category:
added table of contents
added hyperlinks
moved the query boxes that seemed to contain closed discussion to the bottom. I kept the query box where I ask for a section about category theory for Trimble n-categories, but maybe we want to remove that, too. Todd has more on this on his personal web.
started extracting stuff from Ek-Algebras
added the statement of the main result and created a new subsection at k-tuply monoidal n-category to link to it
renamed the previous entry E-k operad into little cubes operad
Created universal algebra in a monoidal category
In the lab book metaphor, this page is some jottings of stuff that I'm pretty sure must be out there (as it's a fairly obvious thing to do) but have no idea of what it's called (hedgehogs, perhaps?). So I'd be grateful if someone strong in the ways of Lawvere theories could stop by and help me out.
(Plus I had to make up the notation and terminology as I went along so that's all horrible)
Hopefully the big box at the top of the page makes this clear!
One of these has started (or continued) a conversation at the bottom of graph.
I'm guessing that ferrim is spam. If no-one says anything to the contrary within 24hrs then I'll add it to the spam category.
If it is spam, it's either a random spambot post or it's someone testing to see how vigilant we are. If the latter, as there's no content then they may simply test to see if the link stays active. In which case, our previous "policy" of blanking the content won't send the right signal here (especially as there's no content to blank). Is there any objection to renaming spam entries? Say, as 'spam (original title)' (or whatever the allowable punctuation characters are)?
I asked a question at dendroidal set and wrote normal monomorphism to explain it.
added to symmetric monoidal smash product of spectra a link to a pdf with seminar notes that nicely recall the definition of the symmetric monoidal category of spectra.
In entry groupoid object in an (infinity,1)-category there is a passage
"it is the generalization of Stasheff H-space from Top to more general ?-stack (?,1)-topoi: an object that comes equipped with an associative and invertible monoid structure, up to coherent homotopy"
I repeat what I documented in earlier discussion on H-space: H-spaces are widely used terminology since 1950, thus before Stasheff work which of course is an important work on coherencies for them. So it is likely improper to say Stasheff H-space...Stasheff has REFINEMENTS of H-spaces, namely $A_n$-spaces and the group-like case is A infty spaces.