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 beauty book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory 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 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 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

121 to 180 of 13734

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

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • I gave Drinfel’d double an Idea-section.

      Also moved a paragraph on module categories from the References to a Properties-section.

    • Started a bare minimum at cyclotomic spectrum. So far it’s essentially just a pointer to the canonical reference by Blumberg-Mandell. (Thomas Nikolaus and Peter Scholze have a new foundation of the theory in preparation for which notes however are not public yet, also Clark Barwick has something in preparation, for which you may find notes by looking at his website and being clever in deducing hidden URLs, he says.)

      For the moment the only fact that I have actually recorded in the entry is a fact that is trivial for anyone familiar with the theory,but which looks interesting from the point of view of the story at Generalized cohomology of M2/M5-branes (schreiber): the global equivariant sphere spectrum for all the cyclic groups (all the A-type finite groups in the ADE classification…) carries canonical cyclotomic structure and as such is the tensor unit among cyclotomic spectra.

      Apart from mentioning this, I have added brief cross-links with topological cyclic homology, equivariant sphere spectrum, cyclic group and maybe other entries.

    • Created solid functor with an SVG graphic. The SVG editor is awesome! Even if it is still a little buggy.

    • all the ZFC axioms have structural counterparts, which means that one could come up with a structural set theory which is equivalent in strength to ZFC.

      Anonymous

      v1, current

    • Added to derivator the explanation that Denis-Charles Cisinski had posted to the blog.

      Zoran, I have made the material you had here the section "References", as this was mainly pointers to the literature. Please move material that you think you should go into other sections.

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • started some minimum at Bost-Connes system.

      Hm, it seems that the statement is that that partition function of the BC-system

      β↦Tr(exp(−βH BostConnes)) \beta \mapsto Tr(\exp(- \beta H_{BostConnes}))

      is the Riemann zeta function. But by the pertinent analogies the zeta functions are not supposed to equal partition functions, but to be related to them by the transformation

      s↦∫ 0 ∞β s−1(Tr(exp(−βH))−1)dβ. s \mapsto \int_0^\infty \beta^{s-1} \left(Tr(\exp(- \beta H)) -1\right)\; d \beta \,.

      Hm.

    • starting something – not done yet

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • The entry Lie algebra extension used to have only a discussion of the fairly exotic topic of classification in nonabelian Lie algebra cohomology. I have now added an Idea-section with some more introductory and more traditional remarks. This could well be expanded much further.

    • I am taking the liberty of creating a category: reference-entry in order to have a way to hyperlink references to our new research center here in NYUAD, which is slowly but surely entering into tangible existence.

      v1, current

    • Hi. I found myself :) Thanks for this page. I replaced the links to the recently removed page at Royal Holloway to link to my permanent home page dusko.org. There are in the meantime I think more important publications on arxiv, and the LICS 1998 paper on Calculus in coainductive form with Martin Escardo is cited a lot, but you’ll probably know better whether any of that is really of interest :) – dusko

      dusko

      diff, v8, current

    • Somebody named Adam left a comment box a while ago at premonoidal category saying that naturality of the associator requires three naturality squares. I believe that this is true when phrased explicitly in terms of one-variable functors, but the slick approach using the “funny tensor product” allows us to rephrase it as a single natural transformation between functors C⊗C⊗C→CC\otimes C\otimes C\to C. I’ve edited the page accordingly. I also added the motivating example (the Kleisli category of a strong monad) and a link to sesquicategory.

      There is a comment on the page that “It may be possible to weaken the above make (Cat,⊗)(Cat,\otimes) a symmetric monoidal 2-category, in which a monoid object is precisely a premonoidal category”. However, the Power-Robinson paper says that “We remark that (C⊗−):Cat→Cat(C \otimes -) : Cat \to Cat is not a 2-functor,” which seems to throw some cold water on the obvious approach to that idea. Was the thought to define a different 2-categorical structure on CatCat than the usual one, e.g. using unnatural transformations? It seems that at least one would still have to explicitly require centrality of the coherence isomorphisms.

    • added pointer to today’s

      • Valentin Benedetti, Horacio Casini, Javier M. Magan, ABJ anomaly as a U(1)U(1) symmetry and Noether’s theorem [arXiv:2309.03264]

      diff, v24, current

    • did some substantial edits on this entry:

      • gave it more of an Idea-section,

      • tried to streamline the statement of the lemma

      • spelled out the proof,

      • added a discussion explaining how this is about irreps forming a (de-)categorified orthogonal/orthonormal linear basis of the representation ring.

      diff, v8, current

    • saw activity at simple object and started a tiny section with examples.

    • a bare list of references, to be !include-ed into the references lists of relevant entries

      v1, current

    • I made a little addition to opposite category, pointing out some amusing nuances regarding the opposite of a VV-enriched category when VV is merely braided. This remark could surely be clarified, but I think you’ll get the idea.

      (In case you’re wondering why I did this, it’s because I needed a reference for “opposite category” in a blog entry I’m writing.)

    • Under definition 1 of salamander lemma, I fixed a mistake in the definition of A □A_\Box where there was a direct sum of two submodules, where there needed to be a sum (i.e., join) instead.

    • copied from HoTT wiki

      Anonymous

      v1, current

    • Added a reference to get the ball rolling. I’ll see if Jon would like to write something.

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Added statement of theorem and proof of a lemma.

      diff, v3, current

121 to 180 of 13734

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