Not signed in (Sign In)

Start a new discussion

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 galois-theory 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 manifolds 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 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 string string-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory 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).
    • Page created, but author did not leave any comments.

      v1, current

    • a stub, for the moment just so as to make the link work.

      v1, current

    • added pointer to

      • B. A. Dubrovin, S. P. Novikov, A. T. Fomenko, corollary 15.3.4 of Modern Geometry — Methods and Applications: Part II: The Geometry and Topology of Manifolds, Graduate Texts in Mathematics 104, Springer-Verlag New York, 1985

      diff, v6, current

    • Add Kanamori reference (from David Roberts's blog)

      diff, v22, current

    • added table of contents, redirects, and a section on improper subobjects in general categories

      Anonymous

      diff, v3, current

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

      v1, current

    • created a currently fairly empty entry quantum measurement, just so as to have a place where to give a commented pointer to the article

      • Klaas Landsman, Robin Reuvers, A Flea on Schrödinger’s Cat, Found. Phys. 43, 373-407 (2013) (arXiv:1210.2353)
    • brief category:people-entry for hyperlinking references

      v1, current

    • Created page to record statements and the relation between them.

      v1, current

    • starting article on Mostowski set theory, which Mike Shulman proved in

      to be equivalent in strength to ETCS

      Anonymous

      v1, current

    • I have been trying to collect some information at Coq.

    • a stub enty, for the moment just to give a home to:

      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.

    • I added to excluded middle a discussion of the constructive proof of double-negated LEM and how it is a sort of “continuation-passing” transform.

    • added type theory rules for the sharp modality

      Anonymous

      diff, v6, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • started entry on stabilization (in the sense of sending an (oo,1)-category to its free stable (infinity,1)-category)

      I want to eventually state more properties of the effect of stabilization on objects here.

    • Jamie Vicary is kindly adding information to the nnLab on the higher-category-theory-proof-assistant that he and collaborators are developing, at:

      I have added a few more hyperlinks to related nLab entries.

      And I have changed the page name from lower case “globular” to upper case “Globular” to fit our conventions on entry titles.

      Currently, lower case “globular” still redirects to the entry. But if anyone has links to the lower case version from elsewhere, please consider changing them, for eventually the lower case “globular” really ought to go to a page that disambiguates all sorts of globular-related entries on the nLab, such as globe and globular set, etc.

    • Add Mike's stack semantics paper to the references (for its classification of axioms of material set theories).

      diff, v32, current

    • I started an article about Martin-Löf dependent type theory. I hope there aren't any major mistakes!

      One minor point: I overloaded $\mathrm{cases}$ by using it for both finite sum types and dependent sum types. Can anyone think of a better name for the operation for finite sum types?

    • I found the organization at Zorn’s lemma a bit rough, so I have tried to smoothen it out a bit

      For instance

      • at one point it had suddenly said “proof of the converse” without a clear statement of the other direction having appeared before. I have created two Theorem-environments and tried to make the statements clearer.

      • the Idea-section had started out saying that “Zorn’s lemma is a trick”. I think that’s misleading or at least misses the important nature of the thing, so I rewrote that and expanded a bit.

      But the foundationalists among you please check!

    • brief category:people-entry for hyperlinking references

      v1, current

    • Changed typo’d “pyschoaccoustics” to correct “psychoacoustics”.

      Anonymous

      diff, v16, current

    • Reading the blog entry

      and the reactions to it made me realize that apparently there is no comprehensive list either in print or online of all the insights into QFT in general and observed standard model physics in particular, that have been obtained via results in string theory.

      So I have entertained myself with starting to collect notes for such a list:

      In the process I have created a bunch of new entries, most of them stubs, linked to from there.

    • I have given necessity and possibility (which used to redirect to S4-modal logc) an entry of their own.

      The entry presently

      • first recalls the usual axioms;

      • then complains that these are arguably necessary but not sufficient to characterize the idea of necessity/possibility;

      • and then points out that if one passes from propositional logic to first-order logic (hyperdoctrines) and/or to dependent type theory, then there is a way to axiomatize modalities that actually have the correct interpretation, namely by forming the reflection (co)monads of \exists and \forall, respectively.

      You may possibly complain, but not necessarily. Give it a thought. I was upset about the state of affairs of the insufficient axiomatics considered in modal logic for a long time, and this is my attempt to make my peace with it.

    • A stub entry, for the moment just to make links work

      v1, current

    • A brief note on the definition of quantum paralellism, according to me.

      I trust this is completely uncontroversial once you see it and think about it, but I have not found an analogous decent account of “quantum parallelism” in the literature. If you know one, please drop a note.

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • David Corfield and I came to start something at EPR paradox

    • brief category:people-entry for hyperlinking references

      v1, current

    • added pointer to:

      (I was looking for references which one might point to concerning the term “quantum/classical divide”. For instance, who actually introduced that specific term? People use it to refer to Bohr’s writings, but Bohr never wrote down the specific words “quantum/classical divide”, did he?)

      diff, v21, current

    • starting page on typed predicate logic and its formulation as a two-layered type theory in natural deduction.

      Anonymous

      v1, current

    • starting page for this mathematician

      Anonymous

      v1, current

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

      v1, current