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.
this has been seen over for a while now; time to record some references and to relate to flavour anomaly.
Just starting here, from my phone over coffee. Nothing much to see here yet.
I am beginning to give the entry FQFT a comprehensive Exposition and Introduction section.
So far I have filled some genuine content into the first subsection Quantum mechanics in Schrödinger picture.
But I have to quit now. This isn’t even proof-read yet. So don’t look at it unless you feel more in editing-mood than in pure-reading-mood.
added the pointers to the combinatorial proofs of the fiberwise detection of acyclicity of Kan fibrations, currently discussed on the AlgTop list, to the nLab here.
I felt there should be an entry category of presheaves. So I started one.
giving this its own entry (the concept used to appear in-line at geometric realization of simplicial topological spaces) for ease of hyperlinking. But just the bare definition, for the moment.
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.
created amazing right adjoint
the topic-cluster “algebra” is stiil a little orphaned on the Lab, I find. I added a bit to
but these entries are still a bit pitiful. Maybe somebody feels challenged to turn them into good entries. Especially the latter.
Should we have pages algebra over a Lawvere theory, algebra over a PROP, etc? Some entries look like they want such links (for instance algebra itself).
for ease of linking I gave fundamental theorem of finitely generated abelian groups a stubby entry of its own.
In the course of this I also created a stub for structure theorem for finitely generated modules over a principal ideal domain which used to be requested at principal ideal domain.
at cyclic group there had been a typo that said “free group” instead of “cyclic group” (in the Examples-section). I have fixed that.
Somehow I think this entry could be organized differently, but I won’t do that now.
created absolute value and a stubby Ostrowski’s theorem
added pointer to today’s
I edited the formatting of internal category a bit and added a link to internal infinity-groupoid
it looks like the first query box discussion there has been resolved. Maybe we can remove that box now?
I started some short articles on o-minimal structure and structure (model theory).
I have added to the entry split idempotent the statement (here) that in a triangulated category in which the direct sum of two triangles is a triangle, then idempotents split.
(Maybe that should rather go into the entry Cauchy complete category?)
I have fixed these pointers (there was previously only the first but with DOI pointing to the second):
Jim Stasheff, Homotopy associativity of H-spaces I, Trans. Amer. Math. Soc. 108 2 (1963) 275-292 [doi:10.2307/1993608]
Jim Stasheff, Homotopy associativity of H-spaces II 108 2 (1963) 293-312 [doi:10.2307/1993609, doi:10.1090/S0002-9947-1963-0158400-5]
Added alternative terminology “local right adjoint” and “strongly cartesian monad” from Berger-Mellies-Weber. They claim the former “has become the more accepted terminology” than “parametric right adjoint”; does anyone know other references to support this? (I think it’s certainly more logical, in that it fits with the general principle of “local” meaning “on slice categories” — not to be confused with the different general principle of “local” meaning “in hom-objects”.)
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”.
I added to field a mention of some other constructive variants of the definition, with a couple more references.
I created Galois module. I also added further references to p-divisible group; in particular section 4.2 of Lurie’s survey of elliptic cohomology gives some generalization of the classical theory. I started also a page with -the somehow unfortunate- title relations of certain classes of group schemes- I intended it to give an overview and examples of the basic kinds of group schemes occurring in classical (algebraic) number theory (the page contains more or less two specific examples; so there is still development potential).
cross linking filter of a ring, and explaining that depending on the the definition, multiplicative subsets form a subsemigroup or a submonoid of the ring.
different anonymous person