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

• I added a short abstract description of the Cartesian fibration over the interval, and commented that the section describes a construction with additional strictness properties in the quasi-category model.

• this has been seen over $4\sigma$ 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.

• brief category:people-entry for hyperlinking references

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

Anonymous

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

Anonymous

• I was a bit confused about a search for “pullback lemma” not returning any result, hence this redirect

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

• for completeness and so that it can be referred to from elsewhere, I have added statement of the characterization of epi/monomorphisms of simplicial sets (here)

• 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 $C_{\bullet/}$ or $C_{/\bullet}$? 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.

• brief category:people-entry for hyperlinking references

• brief category:people-page for hyperlinking references

• brief category:people-entry for hyperlinking references

• changed page name to singular

• Added in the usual group presentation of the dihedral group $D_{2n}$ plus a warning that this group is also denoted $D_n$ by some authors (including myself!!!)

• 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).

• brief category:people-entry for hyperlinking references

• brief category:people-entry for hyperlinking references

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

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

Anonymous

• starting something – my main motivation for the moment is to bring out references which admit that topological quantum computation by braiding of defect anyons is a form of adiabatic quantum computation

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

Egbert Rijke

• Krzysztof Andrzejewski, Cezary Gonera, Joanna Goner, Piotr Kosinski, Pawel Maslanka, Spinning particles, coadjoint orbits and Hamiltonian formalism (arXiv:2008.09478)
• 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?)

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

Anonymous

• the (infinity,1)-category of condensed infinity-groupoids has all finite (infinity,1)-limits, so it should have spectrum objects.

Anonymous

• hopefully the given definition makes sense and is equivalent to the definition found in Scholze’s “Lectures on analytic geometry”, somebody more knowledgeable at $(\infty,1)$-category theory could double check.

Anonymous

• Since I gathered them for my recent talk, I may as well provide a list here of work in this area. I need to add names, etc.

• Added section for Hecke correspondences for modular curves. Might also add section for moduli of bundles later, which follows the same idea as that for modular curves.

• 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”.

• Created page and added some references.

• I added to field a mention of some other constructive variants of the definition, with a couple more references.

• Created page.

• Created page.

• Created page.

• brief category: people-entry for hyperlinking references

• Created page.

• Created page.

• Started sketch of proof.

• brief category:people-entry for hyperlinking references

• Created page.

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

Anonymous

• 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).

• Added how the Frey curve relates to the proof of FLT.

• Created page.

• Added a couple more references.

• adding another disambiguation link at the top for the use of “regular element” in a ring as a synonym for “cancellative element”

different anonymous person

• 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

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

Anonymous