# Start a new discussion

## Not signed in

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

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• Added to Klein geometry a section History with quotations for where exactly Klein actually speaks about $G/H$.

(This key passages is a bit hidden in Klein’s text, appearing at a somewhat unexpected point somewhere in the middle of a 35 page document.)

• The entry on topological group could stand more work, but I added some stuff on the uniform structure, in particular the proposition that for group homomorphisms $f: G \to H$, continuity at a single point guarantees uniform continuity over all of $G$. The proof is follow-your-nose, of course.

What we really need is an entry Haar measure. I’ll get started on that soon.

• Remove data that duplicates other pages, replacing with a disambiguation.

• Page created, but author did not leave any comments.

• Creating stub.

• mathematical physics with a slight distinction from physical mathematics which points to the same entry. The relation to theoretical physics has been discussed, but I am not sure yet if we should have theoretical physics as a separate entry so I do not put is as another redirect.

• Created.

• I edited three things: - In the definition of $D_X$ I corrected what seems to be a typo : indeed $D_X([n]) = X_n$ is a presheaf over $S$, not a set (and then a simplicial presheaf, not a simplicial set)

• In the definition of the notation $[-,-]$ for simplicial presheaves, I edited the domain of that functor, which is not simply $C:=SSet^{S^{op}}$, but indeed $C^{op}\times C$

• In the corollary that follows the introduction of $D_X$, I changed “evaluations of $X$” into “evalutations of $A$”, because in $[X,A]$, we end up with $holim lim A(U_i)$

Anonymous

• This is a definition of a category of filters.

Anonymous

• This is an article about the category of simplicial objects of the category of filters on sets, with a list of examples.

Anonymous

• there is an old article (Berends-Gastman 75) that computes the 1-loop corrections due to perturbative quantum gravity to the anomalous magnetic moment of the electron and the muon. The result turns out to be independent of the choice of (“re”-)normalization (hence what they call “finite”).

I have added a remark on this in the $(g-2)$-entry here and also at quantum gravity here.

• have added to associated bundle an exposition, here, of how in a context of $(2,1)$-topos theory, associated bundles are naturally thought of as homotopy pullbacks of action groupoid projections.

This is from one subsection of what I am currently typing into geometry of physics – representations and associated bundles. It may need more polishing, but I need to interrupt now for half an hour or so.

• Added the original paper by Whitney on fiber bundles.

• starting some minimum, in order to give a home to this reference:

• need to record some results on equivariant tubular neighbourhoods etc. Didn’t know where to put these, so I thought we’d need a dedicated entry on equivariant differential topology.

• Created.

• I guess it should read as “one defines the (Serre) quotient category $A/T$ as the one having the same objects as $A$ and ….” and not ” … same objects as $T$… ” Similarily in the line following the line mentioned here.

Anonymous

• more hyperlinks (and some whitespace) to the paragraph on maximal tori.

• the statement that smooth actions of compact Lie groups on smooth manifolds are proper

• just saw that rev 5, in an attempt to generalize away from Lie groups, left some incoherent logic in the text.

I have tried to reorganize to make it work.

• I have changed the name to Haar Integral – if that’s ok – since the perspective I have added to the article leaves Haar measure as a consequence of Haar integral, and not the other way around.

edeany@umich.edu

• I have edited and rearranged just a little at normalizer, in order to clarify a little more.

• just for completeness

• brief category:reference entry on Bredon’s book, for ease of hyperlinking

• tried to bring the entry Lie group a bit into shape: added plenty of sections and cross links to other nLab material. But there is still much that deserves to be done.

• Page created, but author did not leave any comments.

• Fixed pdf link to “Towards an understanding of Girard’s transcendental syntax”

ALH

• I am giving this group a stub entry just to have a decent place to record today’s

For this entry not to be all too lonely I made Spin(10,2) point to D=12 supergravity, for the moment. In the long run all this derserves to be expanded on, clearly.

• After typing [[fixed point]]-spaces in various entries, I finally decided that “fixed point space” should have an entry of its own, with some comments and further pointers, if only for ease of hyperlinking.

• I have fixed the title of

and tried to clean up the list of references a little, such as ordering it by date of appearance, and correcting the spelling to Katrin Wehrheim. There is more room for improvement here, but I’ll leave it at that.

• Redirect for bicategorical localization

• Fixed references.

In some papers, topological spaces are replaced by locales in the definition of étendues. For example, see Definition 1.1 in Rosenthal \cite{Rosenthal} or Definition 1.12 in Kock and Moerdijk \cite{KockMoerdijk}.

• Someone anonymous has raised the question of subdivision at cellular approximation theorem. I do not have a source here in which I can check this. Can anyone else check up?

• brief category:people-entry for hyperlinking references at flavour anomaly

Kevin Arlin

• just for completeness

• Here’s a page untouched for a while – 2009. First person pronouns still being used.

• I have added at HomePage in the section Discussion a new sentence with a new link:

If you do contribute to the nLab, you are strongly encouraged to similarly drop a short note there about what you have done – or maybe just about what you plan to do or even what you would like others to do. See Welcome to the nForum (nlabmeta) for more information.

I had completly forgotton about that page Welcome to the nForum (nlabmeta). I re-doscivered it only after my recent related comment here.

• Am making a start on trying to understand something of Mochizuki’s IUTT papers. I do not hold out any promises on how far I am going to get, or how long it is going to take me! Even this very first definition is going to me a long time, I think, as I intend to try to fill out all details. All help will be appreciated!

• Renamed to match the spelling used by Faddeev in his English papers.