Not signed in (Sign In)

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

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry beauty bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf sheaves simplicial space spin-geometry stable-homotopy-theory string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory type type-theory universal variational-calculus

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

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • 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.

      diff, v43, current

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

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

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

      Anonymous

      v1, current

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

      Anonymous

      v1, current

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

      diff, v7, current

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

      diff, v17, current

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

      diff, v2, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-page for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

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

      diff, v16, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • 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

      v1, current

    • 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

      v1, current

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

      Egbert Rijke

      v1, current

    • added pointer to today’s

      • Krzysztof Andrzejewski, Cezary Gonera, Joanna Goner, Piotr Kosinski, Pawel Maslanka, Spinning particles, coadjoint orbits and Hamiltonian formalism (arXiv:2008.09478)

      diff, v16, current

    • 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

      v1, current

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

      Anonymous

      v1, current

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

      Anonymous

      v1, current

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

      v1, current

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

      diff, v3, current

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

      diff, v8, current

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

      v1, current

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

    • brief category: people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

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

      Anonymous

      v1, current

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

      diff, v5, current

    • 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

      diff, v8, current

    • 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

      diff, v3, current

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

      Anonymous

      v1, current