Not signed in (Sign In)

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 book 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 finite foundation foundations functional-analysis functor 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 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 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 set set-theory sheaf sheaves simplicial space spin-geometry stable-homotopy-theory stack string string-theory 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).

nLab > Latest Changes

Show all

241 to 300 of 15020

  1. <
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8
  10. ...
  11. 251
  12. >

    • Starting a page for indexing systems

      Natalie Stewart

      v1, current

    • starting page on the Kreisel-Lacombe-Shoenfield-Tseitin theorem

      Anonymouse

      v1, current

    • Add a reference for string diagrams in closed monoidal categories

      Anonymous

      diff, v42, current

    • this page had been essentially empty. I have now added a couple more links and a pointer to his book on Thom spectra.

      (If anyone knows Rudyak’s birth year, let’s add it in the first line.)

      diff, v2, current

    • Replaced broken video link to

      • Wehmeier, Vortrag The First-Order Logic of the Tractatus,

      diff, v11, current

    • stub entry, for the moment. Will expand a little more after dinner…

      v1, current

    • [spam]

    • Initial writeup to satisfy a broken link.

      v1, current

    • Added a link for « Blue and Brown Books ». I’ll try to create this page later, and when I will have understood the book.

      diff, v3, current

    • there was an X veeX^{vee} that I replaced with X ∨X^{\vee}

      Joe M

      diff, v7, current

    • added to supergeometry a link to the recent talk

      • Mikhail Kapranov, Categorification of supersymmetry and stable homotopy groups of spheres (video)

    • Added the Yoneda-embedding way to talk about group objects and hence supergroups.

    • brief category:people-entry for hyperlinking references

      v1, current

    • Wrote that the affine spectrum is the right adjoint to the global section functor from the commutative locally ringed spaces to commutative rings, what is the abstract way to characterize this functor.

      diff, v9, current

    • More clarification/delimitation of the named results.

      diff, v5, current

    • An algebraist at King’s College.

      v1, current

    • Person entry on the analyst rather than algebraist Birkhoff.

      v1, current

    • Added a bit, including the original reference by G. B.

      diff, v7, current

    • I added some simpler motivation in terms of the basic example to the beginning of distributive law.

    • I gather the following is true and is shown in Battenfield-Schröder-Simpson (pdf), but I haven’t really fully absorbed yet how AdmRepAdmRep is actually embedded in RT(𝒦 2)RT(\mathcal{K}_2).

      The subcategory on the effectively computable morphisms of the function realizability topos RT(𝒦 2)RT(\mathcal{K}_2) is the Kleene-Vesley topos KVKV. The category of “admissible representations” AdmRepAdmRep (whose morphisms are computable functions (analysis), see there) is a reflective subcategory of RT(𝒦 2)RT(\mathcal{K}_2) (BSS) and the restriction of that to KVKV is AdmRep effAdmRep_{eff}

      AdmRep eff ↪ KV ↓ ↓ AdmRep ↪ RT(𝒦 2) \array{ AdmRep_{eff} &\hookrightarrow& KV \\ \downarrow && \downarrow \\ AdmRep &\hookrightarrow& RT(\mathcal{K}_2) }

      This is currently stated this way in the entry function ralizability and computable function (analysis), but please criticize/handle with care, I’ll try to further fine-tune as need be.

    • starting a page for sets whose equality and negation behave as they do in classical mathematics, hence the name

      Anonymouse

      v1, current

    • I added to decidable equality some remarks on the difference between the propositions-as-types version and the propositions-as-some-types version.

    • Started page on generalized symmetries, with brief description of main Idea.

      v1, current

    • added to closed monoidal category a proof that the pointwise tensor product on a functor category with complete codomain is closed.

    • starting a minimum, for the moment just to have a place for recording references

      v1, current

    • this is a bare section, spelling out in full detail the construction of the super Lie group integrating the translational part of the “supersymmetry algebra”, namely of the super Poincaré Lie algebra

      (this is of course known to experts, but I am not aware of any literature showcasing how this works in full detail – if such literature exist, please drop a note [the group law itself appears in CAIP99 (2.1) (2.6)])

      this entry is meant to be !include-ed as an Example-subsection into relevant entries, such as at super translation group

      v1, current

    • some observations on Okuyama’s model for the group completion of configuration spaces of points in terms of configurations of open strings with charged endpoints.

      (previous discussion here)

      v1, current

    • it seems difficult to give an original citation for the terminology “Euler vector field”

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • wrote a few lines at differential calculus, just so that the link does point somewhere. Clearly just a stub, to be expanded.

    • starting page on σ\sigma-complete Boolean algebras

      Anonymouse

      v1, current

    • have added (here) as a class of examples the details of the construction of the super-Minkowski Lie group in any dimension,

      by !include-ing the file just announced here

      diff, v19, current

    • changed title to match more systematic naming convention

      diff, v14, current

    • added mentioning of the Poincaré lemma for 1-forms over 1-connected domains (here)

      diff, v21, current

    • I added some more information under Frobenius algebra. I would like to add the axioms in picture form, but I haven't figure out how to upload pictures yet. I'm sure I could figure it out if I wanted...

    • have added to conjugation action a detailed exposition of how the conjugation action is the internal hom of actions, here.

    • Quick stub, mostly written from memory.

      v1, current

241 to 300 of 15020

  1. <
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8
  10. ...
  11. 251
  12. >
Top of Page