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 beauty bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology combinatorics complex-geometry computable-mathematics computer-science connection constructive constructive-mathematics 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 limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal-logic model model-category-theory monad monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories 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 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).
    • added a line on Pin ±(n)Pin_\pm(n), and added pointer to the example of Pin(2)

      diff, v5, current

    • created an entry modal type theory; tried to collect pointers I could find to articles which discuss the interpretation of modalities in terms of (co)monads. I was expecting to find much less, but there are a whole lot of articles discussing this. Also cross-linked with monad (in computer science).

    • Adding reference to A Syntax for Higher Inductive-Inductive Types Ambrus Kaposi and András Kovács

      Bas Spitters

      diff, v9, current

    • added some actual text to the category:people entry Roger Penrose

    • T,FT,F are additive subcategories, thus contain 00


      diff, v17, current

    • added to orientifold some basic notions on orientifold circle nn-bundles.

    • time to give this a table-for-inclusion, for cross-linking relevant entries

      v1, current

    • to be !includeed as a floating table of contents into relevant entries

      v1, current

    • this used to lazily redirect to Hořava-Witten theory

      am splitting it off now to, eventually, do it more justice. But just a stub for the time being

      v1, current

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

      v1, current

    • I added a synthetic definition to projective line, which I learned from here. However, I’m still trying to understand the terminology used; and, as I remarked, with my current understanding the definition doesn’t seem right.

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

    • I added a sentence about the internal (,1)(\infty, 1)-topos structure.

      diff, v44, current

    • added pointer to

      • Valentine Bargman, Note on Wigner’s theorem on symmetry transformations, Journal of Mathematical Physics 5.7 (1964): 862-868 (doi:10.1063/1.1704188)

      diff, v8, current