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

nLab > Latest Changes

Show all

9541 to 9600 of 14420

  1. <
  2. 1
  3. ...
  4. 156
  5. 157
  6. 158
  7. 159
  8. 160
  9. 161
  10. 162
  11. 163
  12. ...
  13. 241
  14. >

    • PhD advisor, link to website, selected writings

      v1, current

    • it is long overdue that we create a table listing what appears in the ADE pattern.

      In a stolen minute I gave it a start at ADE – table.

    • brief entry, for all things with Dynkin label A3 and D3

      v1, current

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

      v1, current

    • just for completeness, and for recording references on “SO(11)”-GUT models

      v1, current

    • time to give this a table-for-inclusion, for cross-linking relevant entries

      v1, current

    • just for completeness, and for recording references on “SO(12)”-GUT models

      v1, current

    • a bare minimum, just for completeness

      v1, current

    • I added a loose description of the dihedron, and commented that the 2-gon as a face should be possible (so as to have the A 1A_1 case included, thinking of the ADE classification)

      diff, v2, current

    • I have created a minimum at global family (a suitable family of groups in the sense of global equivariant homotopy theory).

      Hm, the set of finite subgroups of SO(3)SO(3) or of SU(2)SU(2). Is that a global family? I.e. is it closed under quotient groups by normal subgroups?

    • brief entry, for all things with Dynkin label D6

      v1, current

    • I made “classification of simple Lie groups” a redirect to this entry, and added a graphics showing the Dynkin diagram correspondence (added that also to Dynkin diagram)

      but somebody should really start an entry of that title and do it some justice

      diff, v7, current

    • brief entry, for all things with Dynkin label D5

      v1, current

    • this should have an entry of its own, for ease of linking and seeing the big picture.

      v1, current

    • Mike added two new relevant links to WISC.

      I added a section about internal WISC, and changed what was about ’internal WISC’ to ’external WISC in other categories’.

    • Over at Monster group, I wrote out a description via a group presentation. Of course, it makes no pretense to be illuminating (although it is well-known to experts like Conway; it’s probably in his book with Sloane on the Leech lattice and sphere packings).

    • Some stuff at Mathieu group, including the fact there are several of them and references to the binary Golay code, of which the largest Mathieu group is the automorphism group.

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

      v1, current

    • added list of publications, as far as currently cited on the nLab (no particular order)

      diff, v6, current

    • I have turned logos from a redirect to Heyting category into a stand-alone disambiguation entry, to account for Joyal’s proposal from 2008 (maybe meanwhile abandoned?) to say “logos” for “quasi-category”.

    • table to be !include-ed for cross-linking into relevant entries

      v1, current

    • touched the formatting of the pointers to references on characteristic of E ∞E_\infty-rings

      diff, v8, current

    • Made a start on this at orthogonal subcategory problem. There should be much more to say about this with regard to various generalities in model category theory. Needs some clean-up. Please have a look.

    • The individual morphisms f if_i are not usually faithfully flat – any faithfully flat morphism is surjective. I think they are also not quasicompact in general. See the definition of fpqc cover in the stacks project:

      https://stacks.math.columbia.edu/tag/01K2

      Anonymous

      diff, v8, current

    • Added information about weak enrichment in a bicategory. I put this in the idea section as well as the the definition section. I also added a reference. I’m sure there is a better reference out there but I couldn’t find one that is publicly available.

      Jade Master

      diff, v9, current

    • Person page on a Turing recipient having a major work on causality, to record the references.

      v1, current

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

      v1, current

    • Begin a page on (n×k)(n \times k)-categories, which are nn-categories internal to kk-categories.

      v1, current

    • Jotted down some things. Leibniz should feature but perhaps another day.

      diff, v6, current

    • Made the full term ’locally posetal 2-category’ into a link.

      diff, v5, current

    • Created page on Samson Saneblidze

      v1, current

    • at surjective geometric morphism I have spelled out in detail most of the proof of the various equivalent characterizations, and all of the proof of the statement that geometric surjections are comonadic.

9541 to 9600 of 14420

  1. <
  2. 1
  3. ...
  4. 156
  5. 157
  6. 158
  7. 159
  8. 160
  9. 161
  10. 162
  11. 163
  12. ...
  13. 241
  14. >
Top of Page