Not signed in (Sign In)

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 book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma 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 finite foundation foundations functional-analysis functor 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-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 simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft 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 came across mention of homogeneous spaces for supergroups, and since we don’t have an entry for this I’ve started one.

      The quotients for those two superspheres are cited in the literature, but I haven’t checked them.

      v1, current

    • After being alerted that it was still on the nLab here, I have removed the parenthetical political joke, or what was intended as such.

      diff, v12, current

    • That was a memorable conference. The site is superb, but I remember the humidity in the accomodation which was further north along the lake. There was a second Como conference later. The maths was excellent as well!

    • add link to youtube playlist focused on video recording from Some glances at topos theory (Como 2018)

      diff, v8, current

    • Added definitions of “functorially finite” and “left/right approximation” as used in abelian categories.

      David Speyer

      v1, current

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

      v1, current

    • gave this a brief page, for clarifying links at Gromoll-Meyer sphere and elsewhere. This page may need to become a disambiguation page. For the moment there is just one meaning of “biquotient” spelled out

      v1, current

    • Added comments about non-equivalence of countable choice and this theorem, as well as countable choice for countable sets.

      diff, v8, current

    • summary table, to be !includeed into relevant entries, for purposes of cross-linking

      v1, current

    • Started this page. Needs a reference to a proof.

      v1, current

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

      v1, current

    • I got rid of the old wedge products of ds\mathrm{d}s, which never worked out, and put dS\mathrm{d}S in terms of dx\mathrm{d}\mathbf{x} rather than ds\mathrm{d}s.

      diff, v18, current

    • added a space in the first paragraph between a comma and a word

      cofo

      diff, v4, current

    • Added the recent Elliptic Cohomology III, as well as Elliptic Cohomology II and the forthcoming part IV

      diff, v31, current

    • Mention that geometric homotopy type theory is not well-defined yet.

      diff, v8, current

    • I wrote something at meaning explanation, but I didn’t add any links to it yet because I’m hoping to get some feedback from type theorists as to its correctness (or lack thereof).

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

      Ramkumar Ramachandra

      v1, current

    • Jonas Frey has raised the question of the notation [n][n] in the entry for simplex category. I would go along with his choice of notation as it is the one I use myself. (I was surprised to see another convention being used.)

    • Stub with reference and basic quotes

      v1, current

    • some minimum, for the moment just so as to make links work

      v1, current

    • At Fréchet space I have added to the Idea-section a paragraph motivating the definition via families of seminorms from the example of =lim n n\mathbb{R}^\infty = \underset{\longleftarrow}{\lim}_n \mathbb{R}^n. And I touched the description of this example in the main text, now here.

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

      v1, current

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

      Maxence Mayrand

      v1, current

    • added in CW-complex in the Examples section something about noncompact smooth manifolds.

      Eventually it would be good to state here precisely Milnor’s theorem etc. Googling around I seem to see a lot of misleading imprecision in the usual statements along these lines (on Wikipedia and MO) concerning the distinctions between countably generated and general CW-complexes and concerning homotopy equivalence vs weak homotopy equivalence.

    • Added some references to sheaf-theoretic interpretations of choice sequences

      diff, v2, current

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

      v1, current

    • I have expanded a bit at bilinear map, trying to add a pedagigical comment on the difference to a group homomorphism A×BCA \times B \to C

    • Added related concepts and remarks on complete metrization and metrization in approach spaces.

      diff, v3, current

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

      v1, current

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

      v1, current

    • some minimum, to have a place to record references

      v1, current