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 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 nforum 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).
    • I added to field a mention of some other constructive variants of the definition, with a couple more references.

    • Updating reference to cubical type theory. This page need more work.

      diff, v55, current

    • starting something on isometric immersions

      — mainly I was trying to track down a reference that would clearly state that orthonormal “adapted” or “Darboux” (co)frames (here) always exist locally for an immersion into a Riemannian manifold.

      What I found so far is

      Mastrolia, Rigoli & Setti 2012, p. 33, where this is claimed, but just in passing

      and

      Chen & Giron 2021, Thm. 2.2, where this is stated in the generality of sequences of immersions, which makes it hard to recognize the simple statement behind all the analytic fine-print.

      v1, current

    • created a bare minimum at harmonic map (for the moment just so as to have a place to record the reference given there)

    • The entry unit of an adjunction had a big chunk of mixed itex+svg code at the beginning to display an adjunction. On my machine though the output of that code was ill typeset. So I have removed the code and replaced it by plain iTex encoding of an adjunction.

      (Just in case anyone deeply cares about the svg that was there. It’s still in the history. If it is preferred by anyone, it needs to be fixed first.)

    • Gave concrete formula for coextension of scalars and a case where extension and coextension agree.

      diff, v5, current

    • starting something. Not done yet but need to save

      v1, current

    • In some thread here (which I seem to have lost) there was the open question of whether the Selberg zeta function is indeed the zeta function of the corresponding Laplace operator. The answer is of course Yes, I have added the following paragraph to zeta function of a Riemann surface:

      That the Selberg zeta function is indeed proportional to the zeta function of a Laplace operator is due to (D’Hoker-Phong 86, Sarnak 87), and that it is similarly related to the eta function of a Dirac operator on the given Riemann surface/hyperbolic manifold goes back to (Milson 78), with further development including (Park 01). For review of the literature on this relation see also the beginning of (Friedman 06).

      (the links will only work from within the entry)

    • starting page on definitional isomorphisms

      Anonymouse

      v1, current

    • have touched wording, formatting and hyperlinking of this entry, trying to streamline a bit

      diff, v3, current

    • I have touched wording, formatting and hyperlinking, trying to brush-up this entry. But there is still room to do more.

      diff, v6, current

    • a stub entry, for the moment just to make links work

      v1, current

    • a stub entry, for the moment just to make links work

      v1, current

    • Corrected an arithmetic error in the last section.

      diff, v14, current

    • expanded the discussion at equivariant homotopy theory

      • expanded the statement of the classical Elmendorf theorem

      • added the statement of the general Elmendorf theorem in general model categories

      • added remarks on G-equivariant oo-stacks, as special cases of this

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • starting a category:reference-page in which to eventually collect pointers to the contributions to this upcoming book collection

      v1, current

    • Stub for Plücker embeddings, coordinates and relations referred to at many places. Redirects also with Pluecker (but not Plucker).

      v1, current

    • created microlinear space

      One thing I might be mixed up above:

      in the literature I have seen it seems to say that

      $ X^D x_X X^D \simeq X^{D(2)}$

      with

      $ D(2) = { (x_1,x_2) \in R \times R | x_i x_j = 0} $.

      But shouldn't it be

      $ D(2)' = { (x_1,x_2) \in R \times R | x_i^2 = 0} $.

      ?

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • starting something. There is nothing to be seen yet, but I need to save.

      v1, current

    • some minimum, for the moment mainly to make links work

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • I corrected the date of publication from 1965 to 1964.

      diff, v48, current

    • This operation defines a semigroup structure on oriented knots, one can naturally extend this to a group structure and define an algebra structure as suggested in https://www.math.toronto.edu/drorbn/papers/OnVassiliev/OnVassiliev.pdf .

      Vinithezip

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • added section distinguishing between internal and external relations in set theories presented as first-order theories.

      Anonymous

      diff, v42, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • starting a category:reference-entry.

      Just a single item so far, but this entry should incrementally grow as more preprints appear (similar to what we have been doing at Handbook of Quantum Gravity and similar entries).

      I know that a soft deadline for submissions of at least one of the sections is this December, so I am guessing this is planned to appear in 2024.

      v1, current

    • added pointer to today’s

      • Andrea Fontanella, Tomas Ortin, On the supersymmetric solutions of the Heterotic Superstring effective action (arxiv:1910.08496)

      diff, v57, current

    • Change text from ’m’ (since 2015!) to a real article.

      diff, v2, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • working on writing out how the “inversion” morphism of a groupoid object naturally arises from this structure.

      Jonathan Beardsley

      diff, v54, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • For now creating page, content to be added soon.

      v1, current