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 bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science constructive constructive-mathematics cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality elliptic-cohomology enriched fibration finite foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck 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 homology homotopy homotopy-theory homotopy-type-theory index-theory infinity integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal-logic model model-category-theory monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories newpage noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pasting philosophy physics planar 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-theory subobject 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).
    • Stub. For the moment just for providing a place to record this reference:

      • Jean Thierry-Mieg, Connections between physics, mathematics and deep learning, Letters in High Energy Physics, vol 2 no 3 (2019) (doi:10.31526/lhep.3.2019.110)

      v1, current

    • Added some material to end compactification (fixed minor errors, added an application). I had not been aware that the theory of ends was invented by Freudenthal in his dissertation.

    • 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.

    • tried to polish one-point compactification. I think in the process I actually corrected it, too. Please somebody have a close look.

    • I tried to polish the "Idea" and the "References" section at Courant algebroid to something more comprehensive.

    • Stub with very brief definition

      v1, current

    • entry to be !include-ed in other entries for ease of cross-linking

      v1, current

    • There has GOT to be a better photograph than that! Is there anyone here in Oxford? Can they go and get a picture for us?

    • I started comma double category. Since I care about equipments more than double categories in general, and because it actually is an instance of a comma object, I made the article mostly about virtual double categories. I wrote down a couple of conjectures about when the comma has units and composites, but haven’t verified them yet and not sure when I will.

    • starting something. Nothing really there yet. But need to save.

      v1, current

    • for the five topics listed at HomePage (joyalscatlab) I added references to the corresponding nLab entries

      for instance for model categories here.

    • Added link to Vaughan Pratt’s Linear Process Algebra.

      diff, v32, current

    • Edit to: intersecting D-brane model by Urs Schreiber at 2018-04-01 00:55:01 UTC.

      Author comments:

      hyperlinked pointer to textbook by Ibanez-Uranga

    • Cheng is no longer at Sheffield University, so links were out of date.

      Robin Adams

      diff, v3, current

    • Fixed a dead link and updated Jeff’s research interests.

      diff, v8, current