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).
    • I added a reference to a paper of mine

      Amnon Yekutieli

      diff, v48, current

    • added a reference to Dynamical Systems and Sheaves by Schultz, Spivak, and Vasilakopoulou

      Joe M

      diff, v8, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • I created a stub certified programming.

      That’s motivated from me having expanded the Idea-section at type theory. I enjoyed writing the words “is used in industry”. There are not many nnLab pages where I can write these words.

      I am saying this only half-jokingly. Somehow there is something deep going on.

      Anyway, in (the maybe unlikely) case that somebody reading this here has lots of information about the use and relevance of certified programming in industry, I’d enjoy seeing more information added to that entry.

    • 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

    • a stub, to make links work

      (This used to be a stub “quantum circuit” which I just quasi-duplicated at a more extensive entry quantum circuit diagram. But since quantum gate was already redirecting here – which is how I discovered/remembered that this entry exists – no harm is done by making that it’s new title.)

      diff, v4, current

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

    • 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

    • I have split of super 2-algebra from super algebra. It’sa stub. Currently the only content is to provide the pointers into the video of Kapranov’s talk (minutes:seconds.)

    • Slight extension and new links. However the entry overlaps with more generally scoped entry dual gebra; the overlap will be planned and resolved at a later stage.

      diff, v4, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • I have expanded vertex operator algebra (more references, more items in the Properties-section) in partial support to a TP.SE answer that I posted here

    • brief category:people-entry for hyperlinking references

      v1, current

    • added pointer to:

      • James Munkres, Duality in Manifolds, Chapter 8 in: Elements of Algebraic Topology, Addison-Wesley (1984) [pdf]

      diff, v4, current

    • following discussion here I am starting an entry with a bare list of references (sub-sectioned), to be !include-ed into the References sections of relevant entries (mainly at homotopy theory and at algebraic topology) for ease of updating and syncing these lists.

      The organization of the subsections and their items here needs work, this is just a start. Let’s work on it.

      I’ll just check now that I have all items copied, and then I will !include this entry here into homotopy theory and algebraic topology. It may best be viewed withing these entries, because there – but not here – will there be a table of contents showing the subsections here.

      v1, current

    • finally an Idea-section at Poincaré duality.

      (Needs more work, clearly, but should be a start)

    • brief category:people-entry for hyperlinking references

      v1, current

    • I have adjusted wording and hyperlinking a little.

      The parenthetical pointer inside the proof of the proposition (here) remains a little mysterious.

      diff, v4, current

    • Create page with some initial contents.

      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

    • Added reference to the Stacks Project section on descent data for fibred categories

      diff, v4, current

    • Added

      • V. G. Drinfeld, Quasi-Hopf algebras and Knizhnik-Zanolodchikov equations, Acad. Sci. Ukrainian SSR, Institute for Theoretical Physics, Preprint ITP-89-43B (Kiev 1989) pdf

      diff, v9, current

      P.S. erased later, the reference is not directly appropriate for this entry.

    • Added the original references

      • V. G. Drinfeld, Quasi-Hopf algebras and Knizhnik-Zanolodchikov equations, Acad. Sci. Ukrainian SSR, Institute for Theoretical Physics, Preprint ITP-89-43B (Kiev 1989) pdf
      • V. G. Drinfel’d, Quasi-Hopf algebras, Algebra i Analiz, 1:6 (1989) 114-148; Leningrad Math. J., 1:6 (1990) 1419-1457 (pdf in Russian)
      • V. G. Drinfel’d, Almost commutative Hopf algebras, Algebra i Analiz, 1:2 (1989) 30-46; Leningrad Math. J., 1:2 (1990) 321-342 mathnet.ru
      • Shahn Majid, Cross product quantisation, nonabelian cohomology and twisting of Hopf algebras, in H.-D. Doebner, V.K. Dobrev, A.G. Ushveridze, eds., Generalized symmetries in Physics. World Sci. (1994) 13-41; (arXiv:hep.th/9311184)
      • Shahn Majid, Foundations of quantum group theory, Cambridge UP

      diff, v10, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • added pointer to

      • Mikhail Katz, David Sherry, Leibniz’s Infinitesimals: Their Fictionality, Their Modern Implementations, And Their Foes From Berkeley To Russell And Beyond (arXiv:1205.0174)

      where on the bottom of p. 9 I find

      Leibniz rejects nilsquare and nilcube infinitesimals, which are alto-gether incompatible with his approach to differential calculus,

      So if not Leibniz, who can be credited with first considering nilpotent infinitesimals?

      diff, v6, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Added a remark on the codensity monad of the inclusion into all homotopy types.

      diff, v5, current

    • starting page on pi-finite types

      Anonymouse

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current