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 definitions 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 nlab noncommutative noncommutative-geometry number-theory object 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).

nLab > Latest Changes

Show all

1261 to 1320 of 15201

  1. <
  2. 1
  3. ...
  4. 18
  5. 19
  6. 20
  7. 21
  8. 22
  9. 23
  10. 24
  11. 25
  12. ...
  13. 254
  14. >

    • changed page name to be in line with more systematic naming convention

      diff, v2, current

    • changed page name to make it fit more systematic naming pattern

      diff, v25, current

    • Changed title and links to different convention, see discussion here. Also updated related concepts.

      diff, v3, current

    • I finally realized that this ought to exist. And sure enough, it had been constructed already: the 4d supergravity Lie 2-algebra-extension of the 4d N=2N = 2 super-Poincaré super-Lie algebra. I have added a minimum of an Idea-section and pointers to the references.

    • Changed title and links to different convention, see discussion here.

      diff, v37, current

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

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Added a fair bit of content to 7d Chern-Simons theory.

      Of the three examples discussed there, the first two are review. The third is inspired by something I have been talking about with D. Fiorenza, C. Rogers and H. Sati.

    • Changed title and links to different convention, see discussion here. (Unified redirects among articles about Chern-Simons theory in a particular dimension. There are now four for every artile “D=n Chern-Simons theories”, “nd Chern-Simons theory”, “nd Chern-Simons theories”, “n-dimensional Chern-Simons theory” and “n-dimensional Chern-Simons theories”.)

      diff, v3, current

    • Changed title and links to different convention, see discussion here. (Unified redirects among articles about Chern-Simons theory in a particular dimension. There are now four for every artile “D=n Chern-Simons theories”, “nd Chern-Simons theory”, “nd Chern-Simons theories”, “n-dimensional Chern-Simons theory” and “n-dimensional Chern-Simons theories”)

      diff, v6, current

    • Changed title and links to different convention, see discussion here. (Unified redirects among articles about Chern-Simons theory in a particular dimension. There are now four for every artile “D=n Chern-Simons theories”, “nd Chern-Simons theory”, “nd Chern-Simons theories”, “n-dimensional Chern-Simons theory” and “n-dimensional Chern-Simons theories”)

      diff, v7, current

    • Added to fix a dead link.

    • I made a page about the E8 lattice and its application in sphere packing

      Jurre Put

      v1, current

    • a table-for-inclusion, in order to cross-link the relevant entries

      v1, current

    • Discovering so called Magnus expansion, as an application of Lie theory to differential equations,

      • Wilhelm Magnus, On the exponential solution of differential equations for a linear operator, Commun. Pure Appl. Math. 7:4 (1954) 649–673 (1954) doi

      diff, v6, current

    • Used unicode subscripts for indices of exceptional Lie groups including title and links. When not linked, usual formulas are used. See discussion here. Links will be re-checked after all titles have been changed. (Removed two redirects for “G2-orbifold” from the top and added one for “G2-orbifold” at the bottom of the page.)

      diff, v3, current

    • giving this its own little entry, for ease of hyperlinking

      v1, current

    • I want this entry to have an actual section on construction of (compact) Examples, so I started one (here). But so far there is nothing in there apart from pointers to the original articles by Joyce and Kovalev, and a graphics illustrating Kovalev’s twisted connected sums.

      diff, v51, current

    • added to E7 the statement of the decomposition of the smallest fundamental rep under SL(8,ℝ)SL(8,\mathbb{R}) and SL(7,ℝ)SL(7,\mathbb{R}) (here) and used this then to expand the existing paragraph on As U-duality group of 4d SuGra

    • added to G2 the definition of G 2G_2 as the subgroup of GL(7)GL(7) that preserves the associative 3-form.

    • added statement of and references for some of the homotopy groups of E 8E_8 to E8

    • expanded E6 a bit.

    • added some references on representationology of F 4F_4 to F4

    • brief category:people-entry for hyperlinking references

      v1, current

    • a bare minimum, for the time being just to make the link work

      v1, current

    • I create this page to describe precisely the theorem Thomas Fox is known for.

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • a stub entry, nothing here yet for the moment

      v1, current

    • I’ve added to reflexive graph a definition of the free category of a reflexive quiver.

      That page needs some reorganization because everything now said there is about reflective quivers, and not say about reflective undirected simple graphs.

      Maybe free category also also needs touching up and maybe a link to reflective graph. I don’t know how to justify that the paths in the free category don’t contain identity edges.

    • There is a student here who is thinking about how to relate ∞\infty-algebraic theories with ∞\infty-operads and in the course of that also dendroidal sets with Lurie-type “∞\infty-categories of operations” of ∞\infty-operads.

      I am trying to help a bit where I can. First of all I thought I’d need to get a better idea of how the triangle

      monads operads algebraictheories \array{ && monads \\ \\operads &&&& algebraic theories }

      works in 1-category theory. So I am naturally looking at Mike’s Generalized Virtuology to get some hints.

      I had planned to typeup the little that I understand about the relation between Lawvere theories and generalized multicategories, but now I ended up spending some time just on the entry on virtual double categories. Here is what I did

      • created a subsection “Monads on virtual double categories” with the basic definitions

        • and further subsections on “Monoids and modules” (this existed as an empty stub before)

        • and “Generalized multicategories” (with the basic definition, then pointing over to generalized multicategory of course).

      I also

      I took the liberty of mentioning the term “fc-multicategory” at the beginning of virtual double category (because that happens to remind me easier of what the term refers to) and at virtual equipment I said that this term is short for “proarrow equipment of a virtual double category”.

      (Hm, that summary of what i did is almost longer than the little bit of text that I acutally added! :-)

      Mike, here is a question:

      when I read your article with Cruttwell, I have slight trouble when it comes to definition 8.2 of normalized monoids. It has a horizontal morphism labeled U AU_A where definition 4.2 has an equality. It seems. Is there a typo in one of these or did I miss some further definition in the intermediate four sections (not unlikely)?

    • For now creating page, more content to be added soon.

      v1, current

    • For now creating page, more content to be added soon.

      v1, current

    • For now creating page. (More content to be added soon.)

      v1, current

    • G-d-operads are equivariant d-operads

      Natalie Stewart

      v1, current

    • Fiberwise cores of G-∞-categories appear all over the place

      Natalie Stewart

      v1, current

    • have added to (infinity,1)-operad the basics for the “(∞,1)(\infty,1)-category of operators”-style definition

    • Adding a page on d-operads

      Natalie Stewart

      v1, current

    • a stub entry, for the moment just to make links work

      v1, current

1261 to 1320 of 15201

  1. <
  2. 1
  3. ...
  4. 18
  5. 19
  6. 20
  7. 21
  8. 22
  9. 23
  10. 24
  11. 25
  12. ...
  13. 254
  14. >
Top of Page