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 categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology 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 foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry goodwillie-calculus graph graphs gravity grothendieck group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory history homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory infinity integration-theory internal-categories k-theory kan lie lie-theory limit limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal modal-logic model model-category-theory monad monoidal monoidal-category-theory morphism motives motivic-cohomology nonassociative noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pasting philosophy physics planar 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 string-theory subobject 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 bunch of things to connected space: stuff on the path components functor, an example of a countable connected Hausdorff space, and the observation that the quasi-components functor is left adjoint to the discrete space functor SetTopSet \to Top (Wikipedia reports that the connected components functor is left adjoint to the discrete space functor, but that’s wrong).

      This bit about quasi-components functor had never occurred to me before, although it seems to be true. I’m having difficulty getting much information on this functor. For example, does it preserve finite products? I don’t know, but I doubt it. Does anyone reading this know?

    • Andre Joyal just created on the nLab an entry titled CatLab

    • I am compiling character tables of various groups. For ease of including into related entries (e.g. for isomorphic groups) I’ll give them their own little entries

      v1, current

    • K-cohomology is a strangely organised page with 5 sections identically named. There supposed to be some difference from K-theory

    • I have created brief stubs for cyclotomic field and anti-cyclotomic field. No real content there for the moment, just so as to make cross-links work and have a place to record references.

      I suppose what I am really looking for regarding discussion here in another thread is a concept of anti-cyclotomic spectrum.

    • needed to point to ring of integers of a number field. The term used to redirect just to integers. I have split it off now with a minimum of content. Have to rush off now.

    • Hello all, I was wondering if one or two of you would be able to find the time to see if you think that the arguments on the following page, on my personal web, are correct? There are so many sharp minds amongst the readership here, that I’m sure if there is an error, one of you will make short work of finding it!

      Observations on prime divisors of odd integers in a range (richardwilliamson)

      With these kinds of elementary arguments, everything has to be exactly right; the entire argument is likely to collapse if the smallest detail is wrong. Thus, though I have checked the argument several times myself, including after having slept on it, it is eminently possible that I have overlooked something, so do read with a critical eye :-).

      I am also thinking of making a little page, for completeness, on Bertrand’s postulate, on the main nLab, which I can link to in my argument. Would this be OK (I ask because I don’t know any category theoretic point of view on it at all)?

      Any feedback will be greatly appreciated!

    • There was an “Idea” at Bridgeland stability condition. I added the sections Definition, Key Results, and Examples. I also added a reference for the last key result listed. I should probably fill in some related stubs like t-structure or classical notions of stability.

    • a small entry for a finite group, really an unintended spin-off of compiling the character table of 2O (see discussion there)

      v1, current

    • I am compiling character tables of various groups. For ease of including into related entries (e.g. for isomorphic groups) I’ll give them their own little entries

      v1, current

    • have added to Topos in the section on limits of toposes the description of the pullback of toposes by pushout of their sites of definition.

    • I am compiling character tables of various groups. For ease of including into related entries (e.g. for isomorphic groups) I’ll give them their own little entries

      v1, current

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

      v1, current

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

      v1, current

    • the entry braid group said what a braid is, but forgot to say what the braid group is; I added in a sentence, right at the beginning (and fixed some other minor things).

    • created an entry modal type theory; tried to collect pointers I could find to articles which discuss the interpretation of modalities in terms of (co)monads. I was expecting to find much less, but there are a whole lot of articles discussing this. Also cross-linked with monad (in computer science).

    • First attempt at a major revision of permutation that gives equal weight to the view of permutations-as-linear-orders, hoping that this article will eventually contain some discussion of the operad of permutations and of permutation patterns.

      diff, v30, current

    • created at internal logic an Examples-subsection and spelled out at Internal logic in Set how by turning the abstract-nonsense crank on the topos Set, one does reproduce the standard logic.

    • added the statement (here) that of all finite subgroups of SU(2)SU(2), Q 8Q_8 is a proper subgroup of the three exceptional ones.

      Checking normality of this subgroup, I noticed that there is an issue with another item of the entry here, where it used to claim that a finite group is Hamiltonian precisely of it “contains a copy of Q 8Q_8”. But this can’t be, can it. I changed it to saying that every Hamiltonian group contains Q 8Q_8 as a subgroup, which I suppose is what was meant.

      [edit: I see now that the statement that I changed back to was made already by Thomas Holder in rev 3, while the statement I removed was made by Thomas in rev 4. Thomas, if you see this, please let me know. ]

      diff, v5, current

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

      Matthew Weaver

      v1, current

    • I found myself writing permutation (since I had linked to it) and realised that I could even redirect symmetric group there (which has been linked to for some time).

      Pretty stubby now.