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 complex-geometry computable-mathematics computer-science connection constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality education elliptic-cohomology enriched fibration foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity 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 infinity integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal-logic model model-category-theory monads monoid monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories 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 science set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack 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 cross-linked the two entries homotopical algebra and higher algebra.

      At homotopical algebra I moved the text that had existed there into a subsection “History”, because that’s what it is about, right? I added a section “Idea” but so far only included a link to higher algebra there. We could maybe merge the two entries.

    • I have been adding to AdS/CFT in the section AdS7 / CFT6 a (of course incomplete) list of available evidence for what is going on.

      This is triggered by the fact that we have a proposal for a precise formalization of the effective 7d theory.

    • one possible bit of information at flux

    • I have added an explanatory paragraph to n-poset in reply to this MO question.

      Also, at poset itself I have added a word (“hence”) to indicate that if something is a category with at most one morphism between any ordered pair of objects, then it is already implied that if there are two morphisms back and forth between two objects, then these are equal.

    • I plan to redo measurable space, and the outline of the plan is now at the bottom.

      For the nonce, I’ve moved some material to a new article sigma-algebra, and some of that thence to the previous stub Borel subset.

    • I wrote about the boolean algebra of idempotents in a commutative ring. There’s also stuff in there about projection operators (that page doesn’t exist).