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 definitions 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 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 think the line between the two types of Kan extension (weak versus pointwise) is drawn at the wrong place. Am I missing something?

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

      Anonymous

      v1, current

    • http://ncatlab.org/nlab/show/Isbell+duality

      Suggests that Stone, Gelfand, … duality are special cases of the adjunction between CoPresheaves and Presheaves. A similar question is raised here. http://mathoverflow.net/questions/84641/theme-of-isbell-duality

      However, this paper http://www.emis.ams.org/journals/TAC/volumes/20/15/20-15.pdf

      seems to use another definition. Could someone please clarify?

    • added to G2 the definition of G 2G_2 as the subgroup of GL(7)GL(7) that preserves the associative 3-form.

    • Fix naming of index variable to match index on expression inside.

      Greg Langmead

      diff, v3, current

    • Added to noetherian ring a homological chacaterization: a ring is Noetherian iff arbitrary direct sums of injective modules are injective.

    • Added more lowbrow, quicker-to-understand definition of “coherent ring”.

      diff, v3, current

    • starting page on 𝒜\mathcal{A}-rings

      Anonymouse

      v1, current

    • I have spelled out the proofs that over a paracompact Hausdorff space every vector sub-bundle is a direct summand, and that over a compact Hausdorff space every topological vector bundle is a direct summand of a trivial bundle, here

    • starting page on 𝒜\mathcal{A}-groups

      Anonymouse

      v1, current

    • starting page on 𝒜\mathcal{A}-monoids

      Anonymouse

      v1, current

    • starting page on the cartesian product of 𝒜\mathcal{A}-sets

      Anonymouse

      v1, current

    • starting page on the tensor product of 𝒜\mathcal{A}-sets

      Anonymouse

      v1, current

    • starting page on affine sets

      Anonymouse

      v1, current

    • starting a disambiguation page on affine functions

      Anonymouse

      v1, current

    • Added appropriate axioms for the various definitions of affine space, along with another definition in terms of a single quaternary operation.

    • starting page on affine functions in the antithesis interpretation of constructive mathematics

      Anonymouse

      v1, current

    • starting page on obtuse triangles

      Anonymouse

      v1, current

    • starting page on right triangles since the paper

      • John Baez, The Moduli Space of Acute Triangles, Notices of the American Mathematical Society, Volume 71, Number 5, pages 664-665, May 2024. (arXiv:2407.06201, pdf)

      talks about right triangles too

      Anonymouse

      v1, current

    • Deleted from the History section three consecutive paragraphs begining with “More precisely, when a moduli space…” that appeared in verbatim copy in the Idea section.

      diff, v33, current

    • Adding reference

      • John Baez, The Moduli Space of Acute Triangles, Notices of the American Mathematical Society, Volume 71, Number 5, pages 664-665, May 2024. (arXiv:2407.06201, pdf)

      Anonymouse

      diff, v22, current

    • starting page on acute triangles

      Anonymouse

      v1, current

    • We should have an entry on large N limit gradually. But sometimes it can be treated as a semiclassical limit. I quoted a reference by Yaffe where I originally read of that approach to the entry semiclassical expansion.

    • starting page on constructible numbers

      Anonymouse

      v1, current

    • Added section on triangles in constructive mathematics

      Anonymouse

      diff, v7, current

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

      Anonymous

      v1, current

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

      Anonymous

      v1, current

    • Created a page to handle a link in another page.

      v1, current

    • a bare minimum, for the moment just so as to make the link work

      v1, current

    • some bare minimum, for the moment just so that the link works

      v1, current

    • this entry used to be titled just conductor, but have now made that a category:disambiguation-page, for obvious reasons

      v1, current

    • Came across this early page and neatened it up a little.

      diff, v2, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • starting article on principal ideal rings

      Anonymouse

      v1, current

    • Making this page

      Natalie Stewart

      v1, current

    • I wanted to be able to use the link without it appearing in grey, so I created a stub for general relativity.

    • starting article about the ascending chain condition on principal ideals

      Anonymouse

      v1, current

    • starting article on atomic domains

      Anonymouse

      v1, current

    • starting page on commutative operations of arbitrary finite arity

      Anonymouse

      v1, current

    • Beginning an article on δ\delta-rings in the sense of Joyal, partly spurred by the recent additions by Anton Hilado.

      v1, current

    • Harry Gindi points out that “infinity-field” redirects here, clashing with the unrelated entry of the same name.

      I can’t fix it right now. Maybe later.

      diff, v8, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • starting something – not done yet

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current