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 accessible adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry 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 history 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 newpage 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 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).
    • 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.

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

      Egbert Rijke

      v1, current

    • Since it came up in another thread, I’ve made reverse mathematics slightly less stubby. I included some notes on constructive reverse mathematics, but perhaps it should have its own page.

    • now I have finally the time to come back to this, as announced, and so I am now starting an entry:

      relation between type theory and category theory .

      So far there is just some literature collected. I now plan to extract the essence of Seely’s artice into the entry in some technical detail.

    • starting stub article on locally small types in homotopy type theory

      Anonymous

      v1, current

    • starting stub article on essentially small types in homotopy type theory

      Anonymous

      v1, current

    • starting stub article on the type theoretic axiom of replacement

      Anonymous

      v1, current

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

      Egbert Rijke

      v1, current

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

      diff, v22, current

    • I have created an entry type of types. Wanted to collect some literature there, but ended up not finding too much…

    • I have worked a bit on contractible type. Apart from beautifying it a bit (or so I hope I did) I have added in the section Categorical semantics a fair bit of pedestrian detail on how to see that a term of isContr(A)isContr(A) is indeed a contraction right homotopy, and vice versa.

    • The term “discrete mathematics”, as it is actually used in the literature, appears to be synonymous with combinatorics.

      Its use appears to be limited mostly to introductory textbooks on combinatorics.

      I suggest that this article reflects the actual use of this term, and, in particular, does not claim that (∞,1)-toposes are part of discrete mathematics, as it currently does.

      Do we really need a separate article here, or should this be merged into combinatorics, with a section on terminology there?

      diff, v7, current

    • added pointer to today’s

      • Zhihao Duan, Kimyeong Lee, Kaiwen Sun, Hecke Relations, Cosets and the Classification of 2d RCFTs [[arXiv:2206.07478]]

      diff, v10, current

    • created homotopy level

      However, the instiki-table does not come out correctly yet. It did before I added the third column. These tables are the most delicate things. I never know why sometimes they display correctly and sometimes not.

    • added missing publication data to some references, and added this new reference:

      • D. Melnikov, A. Mironov, S. Mironov, A. Morozov, An. Morozov, A modular functor which is universal for quantum computation, Nucl. Phys. B926 (2018) 491-508 (arXiv:1703.00431)

      diff, v5, current

    • This is the list from proof assistant – Examples, and was (incompleteky) copied by hand into related entries, but we should make it (as done hereby) a standalone to be !includeed under “Related concepts” in relevant entries

      All I did in editing was to group the proof assistants into “based on type/set theory” and “applicable to homotopy type theory”. Experts please hit “edit” and improve on it

      v1, current

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

      Anonymous

      v1, current

    • copying article from HoTT wiki

      Anonymous

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • the entry that used to be titled quantum mechanics in terms of dagger-compact categories I have renamed into finite quantum mechanics in terms of dagger-compact categories (with a “finite” up front) and I have added to the first sentence the qualifier “finite” and “finite-dimensional” a bunch of times.

      I am currently at “Quantum Physics and Logic 2012” in Brussels, and every second speaker advertizes the formalism of what they call “categorical quantum theory”. It’s all fine for the majority of the audience which is all into quantum information theory, where one is only interested in shuffling a finite bunch of qbits around, but it is rather misleading from an ordinary perspective on quantum physics. Already the particle on the line is not a finite quantum system.

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

      Anonymous

      v1, current

    • updating home page for Guillaume Brunerie

      Anonymous

      diff, v2, current

    • adding github page for Egbert Rijke

      Anonymous

      diff, v6, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • am changing page name from “…F-theory…” to “…M/F-theory” since I will now add discussion and references in that more general case

      diff, v12, current

    • created spectral triple, but so far a bit bizarre:

      I give an unorthodox category-theoretic VAGUE definition, which I have reason to think is the right one

      and then I record an unusual reference on vonNeumann spectral triple (just because at MO somebody asked for this and I don't like to dig out a link just to throw it away after one reference use like a paper napkin )

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • this is a bare list of references, to be !include-ed as a subsection in the References-sections of relevant entries

      v1, current

    • Edit to: GUT by Urs Schreiber at 2018-04-01 01:21:13 UTC.

      Author comments:

      added pointer to textbook account

    • a stub entry, for the moment just so as to be able to record some references

      v1, current

    • Added to Klein geometry a section History with quotations for where exactly Klein actually speaks about G/HG/H.

      (This key passages is a bit hidden in Klein’s text, appearing at a somewhat unexpected point somewhere in the middle of a 35 page document.)

    • starting something – not done yet, but need to save

      v1, current

    • starting something, but not much more than a stub for the moment

      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