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-categories 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 comma complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality education 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 homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory infinity integration integration-theory k-theory lie lie-theory limit 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 nonassociative 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 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).
    • I have added to the entry split idempotent the statement (here) that in a triangulated category in which the direct sum of two triangles is a triangle, then idempotents split.

      (Maybe that should rather go into the entry Cauchy complete category?)

    • Created rough paths page. Need to add much more, and add some more pages about probability.


      v1, current

    • Added a few additional descriptions of 1\Box_{\leq 1}, which is the same as Δ 1\Delta_{\leq 1}.

      diff, v18, current

    • The term “tensor network”, while essentially just a synonym for “string diagram”, has in recent years become widely used and now fully established in quantum physics, especially in its use for discussion of holographic entanglement entropy. It needs a page of its own, if only to point to string diagram while also listing the relevant physics references

      v1, current

    • I am splitting this off from character (it used to just redirect there).

      Currently I am just blindly moving the relevant material from there to here. That material is not great at all, and hopefully somebody eventually finds the energy to make a better entry.

      v1, current

    • I decided that nLab is probably a better place to develop my ideas than ‘wikipedia’, where I posted one article on this topic but never felt confident to add more, since wikipedia is not really meant for ’ongoing research’. I really liked the idea of using this space for ’public notes on my research’ and am looking forward to getting reactions from some of you.

      As a starter, I feel that using the first-person form in my reporting is more ’honest’ regarding the academic status of the piece. Prefix orders are not an accepted notion in literature yet, I think. The notion itself is used often, but always in a specific context and was (as far as I know) never generalized - until now…

      Pieter Cuijpers

      v1, current

    • Have added to HowTo a description for how to label equations

      In the course of this I restructured the section “How to make links to subsections of a page” by giving it a few descriptively-titled subsections.

    • In the past we had some discussion here about why simplicial methods find so much more attention than cubical methods in higher category theory. The reply (as far as I am concerned at least) has been: because the homotopy theory = weak oo-groupoid theory happens to be well developed for simplicial sets and not so well developed for cubical sets. Historically this apparently goes back to the disappointment that the standard cubical geometric realization to Top does not behave as nicely as the one on simplicial sets does.

      Still, it should be useful to have as much cubical homotopy theory around as possible. Many structures are more naturally cubical than simplicial.

      So as soon as the Lab comes up again (we are working on it...) I want to create a page model structure on cubical sets and record for instance this reference here:

      Jardine, Cubical homotopy theory: a beginning

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

      v1, current

    • When writing my page on prefix orders, I found the need to refer to the page on trees. As it turns out, the order theoretic definition that I know for trees was not on it yet, so I decided to add it.

      Pieter Cuijpers

      diff, v24, current

    • The link for ’equivalent’ at the top redirected to natural isomorphism which (as I understand it) is the correct 1-categorical version of an equivalence of functors, but this initially lead me to believe that a functor was monadic iff it was naturally isomorphic to a forgetful functor from the Eilenberg-Moore category of a monad on its codomain, which would mean that the domain of the functor was literally the Eilenberg-Moore category of some adjunction since natural isomorphism is only defined for parallel functors.

      diff, v19, current

    • Added link to the “current” version from Lurie’s web site, which is even more recently updated than the arXiv one.

      diff, v96, current

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

      v1, current

    • started some minimum, prodded by the suggestion in today’s replacement

      • Bhavesh Chauhan, Subhendra Mohanty, A common leptoquark solution of flavor and ANITA anomalies (arXiv:1812.00919)

      that leptoquarks could not only explain the flavour anomalies but also the anomalous events seen last year by the ANITA experiment

      v1, current

    • cross-linked with all nnLab pages that cite Lyubashenko

      diff, v3, 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

    • I expanded proper model category a bit.

      In particular I added statement and (simple) proof that in a left proper model category pushouts along cofibrations out of cofibrants are homotopy pushouts. This is at Proper model category -- properties

      On page 9 here Clark Barwick supposedly proves the stronger statement that pushouts along all cofibrations in a left proper model category are homotopy pushouts, but for the time being I am failing to follow his proof.


    • Made a remark, to fill in a gap in the constructive proof that group monomorphisms are regular.

      diff, v11, current

    • Added a description of slant products in cohomology. Added references to Dold’s book.

      diff, v5, current