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 14424

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

    • brief ‘category:people-entry for hyperlinking references

      v1, current

    • added several references on normal coordinates in supergeometry

      diff, v4, current

    • Added the property that algebras in toposes correspond to left exact left adjoints.

      diff, v3, current

    • a stub, for the moment just so as to record pointer to Simpson 12 where “resolution of the paradox” is claimed to be achieved simply by passing from topological spaces to locales

      v1, current

    • wrote a definition and short discussion of covariant derivative in the spirit of oo-Chern-Weil theory

    • only removing the latex markers

      Valeria de Paiva

      diff, v7, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Created an entry for this.

      I’ve adopted the existing convention at nLab in the definition of Tw(C)Tw(C) (which is also the definition I prefer).

      Since the opposite convention is used a lot (e.g. by Lurie), I’ve decided it was worth giving it notation, the relation between the versions, and citing results in both forms. Since I didn’t have any better ideas, I’ve settled on Tw¯(C)\overline{Tw}(C).

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • added more publication data and links to:

      • J. W. S. Cassels, Albrecht Fröhlich (eds.), Algebraic number theory, Acad. Press 1967, with many reprints; Fröhlich, Cassels, Birch, Atiyah, Wall, Gruenberg, Serre, Tate, Heilbronn, Rouqette, Kneser, Hasse, Swinerton-Dyer, Hoechsmann, systematic lecture notes from the instructional conference at Univ. of Sussex, Brighton, Sep. 1-17, 1965 (ISBN:9780950273426, pdf, errata pdf by Kevin Buzzard)

      also, I have fixed the order of the editor’s names

      diff, v11, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Came across this early page and neatened it up a little.

      diff, v2, current

    • starting a category:reference-page in which to eventually collect pointers to the contributions to this upcoming book collection

      v1, current

    • added to S-matrix a useful historical comment by Ron Maimon (see there for citation)

    • starting a collection of commented references here. This is to be !include-ed in the References-section of related entries. Therefore this entry starts out with a sub-section and contains nothing else.

      v1, current

    • The list of code repositories on https://www.homotopytypetheory.org is very out of date, so in an attempt to crowdsource creating a replacement and keeping it up to date, I’m making a wiki page instead.

      v1, current

    • I’ve expanded the section on morphisms in Banach space, because the new page on isomorphism classes of Banach spaces refers to a different notion of isomorphism than what the Banach space page previously called the “usual” notion of isomorphism. (The issue is that what’s usual seems to be different for analysts and category theorists.)

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

      v1, current

    • Added a reference

      • John Rognes, Galois extensions of structured ring spectra/Stably dualizable groups, Memoires of the American Mathematical Society, 192(898), 2008, partly available as (pdf)

      diff, v11, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • I’ll be working a bit on supersymmetry.

      Zoran, you had once left two query boxes there with complaints. The second one is after this bit of the original entry (this will change any minute now)

      The theory of supergravity is, as a classical field theory, an action functional on functions on a supermanifold XX which is invariant under the super-diffeomorphism group of XX.

      where you say

      Zoran: action functional is on paths, even paths in infinitedimensional space, but not on point-functions.

      I think you got something mixed up here. If XX is spacetime, a field on XX is the “path” that you want to see. The statement as given is correct, but I’ll try to expand on it.

      The second complaint is after where the original entry said

      many models that suggest that the familiar symmetry of various action functionals should be enhanced to a supersymmetry in order to more properly describe fundamental physics.

      You wrote:

      This is doubtful and speculative. There are many models which have supersymmetry which is useful in their theoretical analysis, but the same models can be treated in formalisms not knowing about supersymmetry. Wheather the fundamental physics needs a model which has nontrivial supersymmetry is a speculative statement, and I disagree with equating theoretical physics with one direction in “fundamental physics”. I do not understand how can a model suggest supersymmetry; it is rather experimental evidence or problems with nonsupersymmetric models. Also one should distinguish the supersymmetry at the level of Lagrangean and the supersymmetry which holds only for each solution of the equation of motion.

      I’ll rephrase the original statement to something less optimistic, but i do think that supersymmetry is suggsted more by looking at the formal nature of models than by lookin at the nature of nature. If you have a gauge theory for some Lie algebra (gravity, Poincaré Lie algebra) and the super extension of the Lie algebra has an interesting classification theory (the super Poincar´ algebra) then it is more th formalist in us who tends to feel compelled to investigate this than the phenomenologist. Supersymmetry is studied so much because it looks compelling on paper. Not because we have compelling phenomenological evidence. On the contrary.

      So, if you don’t mind, I will remove both your query boxes and slightly polish the entry. Let’s have any further discussion here.

    • 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

301 to 360 of 14424

  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