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 definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry goodwillie-calculus graph graphs gravity 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 homology homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory internal-categories k-theory kan lie lie-theory limit limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monoidal monoidal-category-theory morphism motives motivic-cohomology newpage 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 stack 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).
    • Attempt at making a page about defunctionalization. My first new page on nlab, I hope there are no faux pas’s. I noticed the resemblance to the adjoint functor theorem a while back, and several people seemed to find it interesting, so I thought I’d make a page.

      v1, current

    • I filled in a bit on the Wightman axioms. I also have a query there about adding an "axiom" environment to the LaTeX/CSS style sheets of nLab. I don't know how to do it on nLab but an axiom environment seems like it might be useful.
    • “Covariant presheaf” seems to be a more widely-used name than “copresheaf”, so it’s useful to document it here.

      diff, v4, current

    • created a minimum at function monad (aka “reader monad”, “environment monad”)

    • Create page, add some initial references. Referenced from the ’category theory’ page.

      v1, current

    • Stub for associative n-categories.

      v1, current

    • Jamie Vicary is kindly adding information to the nnLab on the higher-category-theory-proof-assistant that he and collaborators are developing, at:

      I have added a few more hyperlinks to related nLab entries.

      And I have changed the page name from lower case “globular” to upper case “Globular” to fit our conventions on entry titles.

      Currently, lower case “globular” still redirects to the entry. But if anyone has links to the lower case version from elsewhere, please consider changing them, for eventually the lower case “globular” really ought to go to a page that disambiguates all sorts of globular-related entries on the nLab, such as globe and globular set, etc.

    • Created stub for Spin group. Made a mess of explaining why it is so named.

      -David Roberts
    • I am splitting off an entry classification of finite rotation groups from ADE classification in order to collect statements and references specific to the classification of finite subgroups of SO(3)SO(3) and SU(2)SU(2).

      Is there a canonical reference for the proof of the classification statement? I find lots of lecture notes that give the proof, but all of them without citing sources or original publications of proofs.

      v1, current

    • Forgot to mention that I started something on Coxeter group. A lot of it is examples, particularly finite reflection groups (where the classification was effectively stated). If someone knows how to draw Coxeter diagrams, those would be great to include.

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

      v1, current

    • added to icosahedral group discussion of the distinction of definitions as one moves up the Whitehead tower of O(3)O(3)

      String SU(2) 2I Spin(3)=SU(2) IA 5 SO(3) I hA 5×/2 O(3) \array{ \mathcal{I} &\hookrightarrow& String_{SU(2)} \\ \downarrow && \downarrow \\ 2 I &\hookrightarrow & Spin(3) = SU(2) \\ \downarrow && \downarrow \\ I \simeq A_5 &\hookrightarrow& SO(3) \\ \downarrow && \downarrow \\ I_h \simeq A_5\times \mathbb{Z}/2 &\hookrightarrow & O(3) }

      [edit: added analogous discussion to octahedral group and icosahedral group ]

    • a stub, trying to bring in infrastructure for discussion of the finite subgroups of O(5)O(5)

      v1, current

    • a stub, am trying to bring into place some infrastructure for discussion of the finite subgroups of O(5)O(5)

      v1, current

    • starting a stub, for the moment just collecting references.

      Which finite subgroup of SO(4)SO(4) corresponds to the 120-cell?

      v1, current

    • Created opetopic type theory with a bit of explanation based on what I understood based on what Eric Finster explained and demonstrated to me today.

      This is the most remarkable thing.

      I have added pointers to his talk slides and to his online opetopic type system, but I am afraid unguided exposition to either does not reveal at all the utmost profoundness of what Eric made me see when he explained and demonstrated OTT to me on his notebook. I hope he finds time and a way to communicate this insight.

    • created stub for étale morphism of E-∞ rings in order to record the theorem of essential uniqueness of lifts of étale morphism from underlying commutative rings to E E_\infty-rings (which is crucial for the characterization of the moduli stack of derived elliptic curves, and I have cross-linked with that). But otherwise no content yet, due to lack of leisure.

    • I added a proposition to this subsection which seems valid intuitionistically, but I wouldn’t mind a reality check from someone.

    • tried to polish a little and slightly expand model category, starting with the Definition-section and ending with the (new and tiny) Properties section. Added some more subsections and so on.

    • Created page with some basic definitions.

      v1, current

    • starting something. Not done yet but need to save

      v1, current