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 finite 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).
    • brief category:people-entry for hyperlinking references

      v1, current

    • a stub entry, for the time being just to have a place for recording some references

      v1, current

    • a stub entry, for the time being just to make the link work

      v1, current

    • Added some info on functoriality from the “Colouring a Graph” nCafe thread. The extension to arbitrary cardinality is my own writing, if I got something horribly wrong there somehow that’s my own fault. First edit!

      Elisha Goldman

      diff, v5, current

    • subdivided the Properties-section into subsections; added subsection for branched coverings of n-spheres

      diff, v39, current

    • Created a stub to link from another page

      v1, current

    • felt like the nLab should have an entry fraction

    • I created an entry on Larry Lambe. I included a link to some (on line) notes of his on Symbolic Computation which includes discussion of the perturbation lemma from homological perturbation theory.

    • Entered nLab incorporating George Howison to the “idealism” page; and planting leads to create several related pages. “Love, too, now has its adequate definition: (at p.361)”

      Tim “DisciplinedIdea” Rappl

      diff, v9, current

    • Unfortunately, there are two entries on the same topic, both created by Urs: quantum Hall effect (redirecting also fractional quantum Hall effect what should eventually split off) with some substance, and the microstub quantum hall effect. I would like to create quantum spin Hall effect and I think I should rename/reclaim the stub quantum hall effect for this. Do others agree ? Urs ?

      As the action is now delayed I record here the reference which I wanted to put there

      • B. Andrei Bernevig, Taylor L. Hughes, Shou-Cheng Zhang, Quantum spin Hall rffect and topological phase transition in HgTe quantum wells, Science 15 December 2006: 314, n. 5806, pp. 1757-1761 doi

      Somewhat surprisingly, the authors and roughly this work of them are mentioned (though not in the list of references) in a paper in algebraic geometry

      which considers the mirror symmetry and topological states of matters (topological insulators in particular) as main applications.

    • added also the complementary cartoon for D-branes in string perturbation theory (the usual picture)

      diff, v48, current

    • Just a stub for the moment to try to introduce the notion of differential category due to Blute, Cockett and Seely.

      v1, current

    • Added example of simple Lie algebras with the negative of the Killing form

      diff, v23, current

    • I was involved in some discussion about where the word “intensional” as in “intensional equality” comes from and how it really differs from “intenTional” and what the point is of having such a trap of terms.

      Somebody dug out Martin-Löf’s lecture notes “Intuitionistic type theory” from 1980 to check. Having it in front of me and so before I forget, I have now briefly made a note on some aspects at equality in the section Different kinds of equalits (below the first paragraph which was there before I arrived.)

      Anyway, on p. 31 Martin-Löf has

      intensional (sameness of meaning)

      I have to say that the difference between “sameness of meaning” and “sameness of intenTion”, if that really is the difference one wants to make, is at best subtle.

    • brief category:people-entry for hyperlinking references

      v1, 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.

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

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Am starting a write-up (here) of how (programming languages for) quantum circuits “with classical control and/by measurement” have a rather natural and elegant formulation within the linear homotopy type theory of Riley 2022.

      Aspects of this have a resemblance to some constructions considered in/with “Quipper”, but maybe it helps clarify some issues there, such as that of “dynamic lifting”.

      The entry is currently written without TOC and without Idea-section etc, but rather as a single top-level section that could be !include-ed into relevant entries (such as at quantum circuit and at dependent linear type theory). But for the moment I haven’t included it anywhere yet, and maybe I’ll eventually change my mind about it.

      v1, current

    • there is some confusion on this MO thread about sheafification, with the nLab entry sheafification somehow involved. I had a look at the entry and find that it can do with lots of polishing, but that the statement discussed over there is clearly right. (the misleading answer on MO that seems to claim a problem on the nLab page gets twice as many votes as the good answer by Clark Barwick, which confirms the statement) I have tried to edit it a bit to make things clearer, but don’t have the leisure for that now.

      Given the recent success with the polishing of the entry on geometric realization, maybe I should announce that sheafification is going to be submitted for nJournal peer-review soon, so that everybody here will jump on it to brush it up ;-)

    • brief category:people-entry for hyperlinking references

      v1, current

    • edited the entry orthogonality a bit, for instance indicated that there are other meanings of orthogonality. This should really be a disambiguation page.

      And what makes the category-theoretic notion of orthogonality not be merged with weak factorization system? And why is orthogonal factorization system the first example at orthogonality if in fact that imposes unique lifts, while in orthogonality only existence of lifts is required?

      I think the entry-situation here deserves to be further harmonized.

    • basic definition and reference to Mellies’ survey

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Added a section with a collection of references on intersection laws for black D-branes ending on black NS5-branes. Then I spelled out the case of D6-branes in some detail, collecting the relevant diagrams from the reference EGKRS00, and used this to identify the corresponding M-theory lift by the M5-brane near horizon ADE-orbifolds of the 4-sphere.

      diff, v22, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • added pointer to:

      • Sébastien Fumeron, Bertrand Berche, Fernando Moraes, Improving student understanding of electrodynamics: the case for differential forms, American Journal of Physics 88 (2020) 1083 [arXiv:2009.10356, doi:10.1119/10.0001754]

      diff, v25, current

    • Compiling some references on universality of quantum Hall effects, here.

      diff, v28, current

    • A stub. Would *double (,1)-category be preferable?

      v1, current

    • (permutations of) this title used to redirect to closed monoidal category, but its useful to have a direct pointer for the symmetric monoidal closed case, and so I am splitting this off as a little entry

      v1, current

    • It didn’t seem we had a page for this, and yet it seems notable enough to warrant one, mainly for cross-linking purposes.

      v1, current

    • Mike Stay kindly added the standard QM story to path integral.

      I changed the section titles a bit and added the reference to the Baer-Pfaeffle article on the QM path integral. Probably the best reference there is on this matter.

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

      v1, current

    • Just a definition (hope I got it right) and a couple properties. I wasn’t sure how to set up the redirects; currently “modest set” redirects here while “PER” redirects to partial equivalence relation, but other suggestions are welcome.

      v1, 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

    • Added list of low dimensional manifolds and removed them from the example section.

      diff, v17, current

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

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • stub to make the distinction between subcritical and supercritical strings, plus some references specifically on the latter. there are some references scattered on the nLab about non-critical (subcritical) strings that should be compiled here at some point.

      v1, current

    • Added some description to an otherwise barren page; will return to this to add and clean up more details.

      Ari Krishna

      diff, v2, current

    • Added another reference.

      I was chatting with Robin Cockett yesterday at SYCO1. In a talk Robin claims to be after

      The algebraic/categorical foundations for differential calculus and differential geometry.

      It would be good to see how this approach compares with differential cohesive HoTT.

      diff, v5, current

    • Changes made only to the Universal property of the 2-category of spans section. The citations by Urs lead to another citation which, in turn, leads to another citation. With a little effort, I tracked down the a full copy of said universal property, I’ve replicated it here, added the citation used, although I left the previous citations there for convenience; a more experienced editor can remove those if they would like.

      I would like to note that the author whose work I have referenced, Hermida, also notes: “[this universal property] is folklore although we know no references for it.”

      Please make any corrections needed and clean up the language here; this is a fairly direct copy of what is written, but I imagine somebody with more knowledge of all the language used here can rewrite this universal property stuff in a cleaner way.

      Thanks!

      Anonymous

      diff, v57, current