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.
added to modular form a brief paragraph with a minimum of information on modular forms As automorphic forms. Needs to be expanded.
I noticed that an entry bifunctor was still missing, though requested by some existing entries. So I briefly added something.
Describing the arrangements which have been made for funding of the nLab in collaboration with the Topos Institute. The page, linked to from the home page, is intended to be fairly general; specific requests for donations can be made elsewhere.
have created enriched bicategory in order to help Alex find the appropriate page for his notes.
Some tidying up and additions at simplex category, in particular a section on its 2-categorical structure, and more on universal properties.
I’ve edited the definition to focus more on the augmented simplex category instead of the ’topologists’ ’, but I haven’t changed their names, because it seemed to me that that was the best way to keep everyone involved in the discussion at that page happy. (I also changed the ordinal sum functor from to , after Tim’s suggestion.)
New sections at coring:
This article has a weird claim on top, highlighted in yellow (see the second line):
Redirected from “local Langlands correspondence”.
Note: local Langlands conjecture and local Langlands conjecture both redirect for “local Langlands correspondence”.
added pointer to
Victor Snaith, Algebraic Cobordism and K-theory, Mem. Amer. Math. Soc. no 221 (1979)
Victor Snaith, Towards algebraic cobordism, Bull. Amer. Math. Soc. 83 (1977), 384-385 (doi:10.1090/S0002-9904-1977-14281-X)
Also tried to fix the ordering of the rest of the reference, but I give up for the moment. This needs attention by some expert
There was a big chunk of technical discussion on this page. I am moving this to algebraic cobordism, where it belongs.
brief category:people
-entry for hyperlinking references at swampland cobordism conjecture
brief category:people
-entry for hyperlinking references at swampland cobordism conjecture
brief category:people
-entry for hyperlinking references at swampland cobordism conjecture
This is a bare list of references, to be !include
-ed into relevant entries, such as at swampland and 24 branes transverse to K3, for ease of cross-linking and updating.
I am taking the liberty of including a pointer to our upcoming M/F-Theory as Mf-Theory which has some details on a precise version of the conjecture and a proof (from Hypothesis H).
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.
some basics at FRW model (in cosmology)
I started an article about Martin-Löf dependent type theory. I hope there aren't any major mistakes!
One minor point: I overloaded $\mathrm{cases}$ by using it for both finite sum types and dependent sum types. Can anyone think of a better name for the operation for finite sum types?
Tim Porter added references to microbundle and I edited the formatting of the entry a bit
Removed the following discussion to the nForum:
Zoran Škoda: But there is much older and more general theorem of Hurewitz: if one has a map and a numerable covering of such that the restrictions for every in the covering is a Hurewicz fibration then is also a Hurewicz fibration. But the proof is pretty complicated. For example George Whitehead’s Elements of homotopy theory is omitting it (page 33) and Postnikov is proving it (using the equivalent “soft” homotopy lifting property).
Todd Trimble: Yes, I am aware of it. You can find a proof in Spanier if you’re interested. I’ll have to check whether the Milnor trick (once I remember all of it) generalizes to Hurewicz’s theorem.
Stephan: I wonder if this trick moreover generalizes (in a homotopy theoretic sense) to categories other that ; for example to the classical model structure on ?
polished and expanded adjoint (infinity,1)-functor
Added some basic examples from HTT. There doesn’t seem to be a page for the corresopnding 1-categorical notion. This notion is used pretty heavily in -category theory, but it’s not so familiar from 1-category theory. But I’d have to think a 1-categorical treatment exists somewhere, right?
this is a bare list of references, to be !include
-ed into relevant entries
(various parts of this list have been contained at Cohomotopy, Cohomotopy charge map, Thom’s theorem, Pontryagin-Thom construction and elsewhere; this here now to ease harmonizing/completing these lists)
thought we needed stem.
Also added more references at stable homotopy groups of spheres
The entry unit of an adjunction had a big chunk of mixed itex+svg code at the beginning to display an adjunction. On my machine though the output of that code was ill typeset. So I have removed the code and replaced it by plain iTex encoding of an adjunction.
(Just in case anyone deeply cares about the svg that was there. It’s still in the history. If it is preferred by anyone, it needs to be fixed first.)
starting something, to go along with first stable homotopy group of spheres and third stable homotopy group of sphere – but for the moment just collecting references
Idea-section and one further reference at Thomason model structure.
I remember Mike once said on the blog somewhere that there might be some problem with Thomason's original claim that cofibrant objects in this structure are posets. I made a brief remark on this, but I can't find Mike's original comment.
Created an entry for this.
I’ve adopted the existing convention at nLab in the definition of (which is also the definition I prefer).
Since the opposite convention is used a lot (e.g. by Lurie), I’ve decided it was worth giving it notation, the relation between the versions, and citing results in both forms. Since I didn’t have any better ideas, I’ve settled on .
I added the description of lax (co)limits of Cat-valued functors via (co)ends and ordinary (co)limits. I should probably flesh this out more.
I’ve adopted the convention on twisted arrows at twisted arrow category, which is opposite of that in GNN.
In the case of ordinary 2-category, when the diagram category is a 1-category, is the expression of lax (co)limits via ordinary weighted (co)limits really as simple as taking the weights or ? I can’t find a reference that spells that out clearly; if there really is such a simple description it should be put on the lax (co)limit page.
added references by Pronk-Scull and by Schwede, and wrote an Idea-section that tries to highlight the expected relation to global equivariant homotopy theory. Right now it reads like so:
On general grounds, since orbifolds are special cases of stacks, there is an evident definition of cohomology of orbifolds, given by forming (stable) homotopy groups of derived hom-spaces
into any desired coefficient ∞-stack (or sheaf of spectra) .
More specifically, often one is interested in viewing orbifold cohomology as a variant of Bredon equivariant cohomology, based on the idea that the cohomology of a global homotopy quotient orbifold
for a given -action on some manifold , should coincide with the -equivariant cohomology of . However, such an identification (1) is not unique: For any closed subgroup, we have
This means that if one is to regard orbifold cohomology as a variant of equivariant cohomology, then one needs to work “globally” in terms of global equivariant homotopy theory, where one considers equivariance with respect to “all compact Lie groups at once”, in a suitable sense.
Concretely, in global equivariant homotopy theory the plain orbit category of -equivariant Bredon cohomology is replaced by the global orbit category whose objects are the delooping stacks , and then any orbifold becomes an (∞,1)-presheaf over by the evident “external Yoneda embedding”
More generally, this makes sense for any orbispace. In fact, as a construction of an (∞,1)-presheaf on it makes sense for any ∞-stack, but supposedly precisely if is an orbispace among all ∞-stacks does the cohomology of in the sense of global equivariant homotopy theory coincide the cohomology of in the intended sense of ∞-stacks, in particular reproducing the intended sense of orbifold cohomology.
At least for topological orbifolds this is indicated in (Schwede 17, Introduction, Schwede 18, p. ix-x, see also Pronk-Scull 07)
Added material to injective object, including a proof of Baer’s criterion for injective modules, and the result that for modules over Noetherian rings, direct sums of injective modules are injective.
added to locale a section relation to toposes stating localic reflection
have added pointer to
Charles Rezk, A model for the homotopy theory of homotopy theory, Trans. Amer. Math. Soc. 353 (2001), 973-1007 (arXiv:math/9811037, doi:10.1090/S0002-9947-00-02653-2)
Julia Bergner, Three models for the homotopy theory of homotopy theories, Topology Volume 46, Issue 4, September 2007, Pages 397-436 (arXiv:math/0504334, doi:10.1016/j.top.2007.03.002)
added to quantum anomaly
an uncommented link to Liouville cocycle
a paragraph with the basic idea of fermioninc anomalies
the missing reference to Witten’s old article on spin structures and fermioninc anomalies.
The entry is still way, way, stubby. But now a little bit less than a minute ago ;-