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

301 to 360 of 14408

  1. <
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8
  10. 9
  11. ...
  12. 241
  13. >

    • in order to satisfy links, but maybe really in procrastination of other duties, I wrote something at quantum gravity

    • Started an article on monoidal monad. An earlier redirect had sent it over to Hopf monad which is something that Zoran was working on, but I think it deserves an article to itself, with discussion of the relation to commutative monads, etc. (which I have started).

    • added illustrating diagram to transfinite composition

      I also renamed the resulting composite morphism into X \to Y . Hope I did this consistently.

    • brief category:people-entry for hyperlinking references

      v1, current

    • created quick stub for framed bicategory

      but my machine's battery will die any second now...

    • brief category:people-entry for hyperlinking references

      v1, current

    • Creating the page. Described briefly both the usual Lack model structure and the model structure using semi-strict equivalences coming from my thesis. A lot more could be added.

      v1, current

    • I made the former entry "fibered category" instead a redirect to Grothendieck fibration. It didn't contain any addition information and was just mixing up links. I also made category fibered in groupoids redirect to Grothendieck fibration

      I also edited the "Idea"-section at Grothendieck fibration slightly.

      That big query box there ought to be eventually removed, and the important information established in the discussion filled into a proper subsection in its own right.

    • Created the page (Idea, Syntax, Example, Typing and References)

      v1, current

    • Added the Yoneda-embedding way to talk about group objects and hence supergroups.

    • Somebody from the technical team kindly alerted me that we have a full .mov copy of the video recording of Kapranov 2013 sitting on the nLab server – which is strange (but also lucky), does anyone know/remember how this came to be?

      In trying to understand what’s going on, I noticed that the relevant YouTube link at Kapranov 2013 had died (“private”) as had my original video link from comment #5 in the original thread. Also the links to the hosting conference had meanwhile rotted away.

      I have now

      recovered the conference links via the WaybackMachine,

      added the link to our local copy of the video recording

      and am also uploading the video to YouTube.

      Am propagating these edits also to other entries where Kapranov’s talk is referenced, such as at Mikhail Kapranov and at spectral super-scheme.

      diff, v61, current

    • locally cartesian (∞,1)(\infty, 1)-categories

      Anonymouse

      v1, current

    • Created, with so far just an overview of all the possibilities.

      v1, current

    • Added material on diagonal maps and the product functor, mentioning for instance the fact that the product functor is right adjoint to a diagonal functor.

      diff, v22, current

    • A stub, for the moment just to have a place for recording a couple of references (which were previously at fusion category.

      v1, current

    • Added the contents of the canonical isomorphism induced by some non-canonical isomorphism as coming from Lack’s proof.

      diff, v32, current

    • in analogy to what I just did at classical mechanics, I have now added some basic but central content to quantum mechanics:

      • Quantum mechanical systems

      • States and observables

      • Spaces of states

      • Flows and time evolution

      Still incomplete and rough. But I have to quit now.

    • brief category:people-entry for hyperlinking references

      v1, current

    • Asked to clarify, made a definition.

      Anonymous

      v1, current

    • I noticed that the entry classifying space is in bad shape. I have added a table of contents and tried to structure it slightly, but much more needs to be done here.

      I have added a paragraph on standard classifying spaces for topological principal bundles via the geometric realization of the simplicial space associated to the given topological group.

      In the section “For crossed complexes” there is material that had been provided by Ronnie Brown which needs to be harmonized with the existing Idea-section. It proposes something like a general axiomatics on the notion of “classifying space” more than giving details on the geometric realization of crossed complexes

    • The Idea-section at quasi-Hopf algebra had been confused and wrong. I have removed it and written a new one.

    • Following discussion in some other threads, I thought one should make it explicit and so I created an entry

      Currently this contains some (hopefully) evident remarks of what “dependent linear type theory” reasonably should be at least, namely a hyperdoctrine with values in linear type theories.

      The entry keeps saying “should”. I’d ask readers to please either point to previous proposals for what “linear dependent type theory” is/should be, or criticise or else further expand/refine what hopefully are the obvious definitions.

      This is hopefully uncontroversial and should be regarded an obvious triviality. But it seems it might be one of those hidden trivialities which deserve to be highlighted a bit more. I am getting the impression that there is a big story hiding here.

      Thanks for whatever input you might have.

    • brief category:people entry for hyperlinking reretences

      v1, current

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

      v1, current

    • added an Examples-section (here) “In 2d gravity on String worldsheets”

      diff, v3, current

    • I am changing the page title – this used to be “A first idea of quantum field theory”, which of course still redirects. The “A first idea…” seemed a good title for when this was an ongoing lecture that was being posted to PhysicsForums. I enjoyed the double meaning one could read into it, but it’s a bad idea to carve such jokes into stone. And now that the material takes its place among the other chapters of geometry of physics, with the web of cross-links becoming thicker, the canonical page name clearly is “perturbative quantum field theory”.

      diff, v187, current

    • added pointer to these two recent references, identifying further L ∞L_\infty-algebra structure in Feynman amplitudes/S-matrices of perturbative quantum field theory:

      diff, v11, current

301 to 360 of 14408

  1. <
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8
  10. 9
  11. ...
  12. 241
  13. >
Top of Page