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-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-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality elliptic-cohomology enriched fibration finite foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry goodwillie-calculus 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 homology 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 monads monoidal monoidal-category-theory morphism motives motivic-cohomology newpage nforum nlab noncommutative noncommutative-geometry number-theory object 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 string string-theory 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).
    • Removed an incorrect historical claim (Dwyer and Kan did throughly investigate relative categories already in 1980s, way before 2000s).

      Added a section about model structures.

      diff, v3, current

    • need to record some results on equivariant tubular neighbourhoods etc. Didn’t know where to put these, so I thought we’d need a dedicated entry on equivariant differential topology.

      v1, current

    • created at internal logic an Examples-subsection and spelled out at Internal logic in Set how by turning the abstract-nonsense crank on the topos Set, one does reproduce the standard logic.

    • the entry braid group said what a braid is, but forgot to say what the braid group is; I added in a sentence, right at the beginning (and fixed some other minor things).

    • I’ve added Peter May’s Galois theory example to M-category in a section “Applications”.

    • am giving this book a category:reference-entry for ease of referencing

      v1, current

    • am finally giving this an entry

      v1, current

    • started Lie algebra cohomology,

      (for the moment mainly to record that reference on super Lie algebra cocycles)

    • following Zoran’s suggestion I added to the beginning of the Idea-section at monad a few sentences on the general idea, leading then over to the Idea with respect to algebraic theories that used to be the only idea given there.

      Also added a brief stub-subsection on monads in arbitrary 2-categories. This entry deserves a bit more atention.

    • started a Properties-section at Lawvere theory with some basic propositions.

      Would be thankful if some experts looked over this.

      Also added the example of the theory of sets. (A longer list of examples would be good!) And added the canonical reference.

    • I’ve added a definition to locally cartesian closed model category, although I’m open to debate about whether this is the right definition. This definition is more or less exactly what one needs to interpret dependent products in type theory with function extensionality (I plan to add a proof of this). But it’s certainly less obviously correct from a pure model-categorical viewpoint. For one thing, it doesn’t imply that we have a cartesian closed model category, which one would naively expect a notion of “locally cartesian closed model category” to do.

    • this page seems to have no discussion page

      Anonymous

      diff, v8, current

    • stub article on Mochizuki’s corollary 3.1.2

      Anonymous

      v1, current

    • Am making a start on trying to understand something of Mochizuki’s IUTT papers. I do not hold out any promises on how far I am going to get, or how long it is going to take me! Even this very first definition is going to me a long time, I think, as I intend to try to fill out all details. All help will be appreciated!

      v1, current

    • I have changed the title of this article, as well as references to the object within it. Use of the term “Hawaiian Earring” is objected to by Hawaiian mathematicians. Please see these two threads, one by native Hawaiian and math PhD Dr. Marissa Loving, and the other by an expert on the Hawaiian Earring, Dr. Jeremy Brazas.

      https://twitter.com/MarissaKawehi/status/1406244897611522049

      https://twitter.com/jtbrazas/status/1406652385263501319

      I have retitled the article “Shrinking wedge of circles”, which is the name used for this space in Hatcher’s “Algebraic Topology”. I have a retained a note in the body of the article that the space is sometimes referred to as the “Hawaiian earring space”.

      This small change in name helps to make mathematics a more inclusive and just field, especially in consideration of the historical marginalization and exclusion of indigenous mathematicians. By taking this action, the nLab site can help to spread a change in language more widely, including on other math reference sites.

      I hope that this change is readily accepted and approved by the nLab community. Thank you!

      Justin Lanier

      v1, current

    • Stub. For the moment just for providing a place to record this reference:

      • Jean Thierry-Mieg, Connections between physics, mathematics and deep learning, Letters in High Energy Physics, vol 2 no 3 (2019) (doi:10.31526/lhep.3.2019.110)

      v1, current

    • I understood that the old terminology was ’projective system’, and ’projective limit’ refereed to the limit of a projective system. Can anyone confirm that? if I am right the present entry is slightly incorrect, but this needs checking first before changing it.

    • brief category:people-entry for hyperlinking references (at FGA)

      v1, current

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

      v1, current

    • a category:reference-entry (“FGA” used to redirect to EGA)

      v1, current

    • I updated a link on FGA explained to one of the chapters, to point to the arXiv version (the one on constructing Hilbert and Quot schemes). I also added a link to the conference page itself, which has links to scans of lecture notes, as the direct lecture notes links seem to be broken.

    • Added a link to the retyped version of SGA 4 1/2.

      diff, v15, current

    • Wrote “Initial Object” section I mostly just copy-pasted things from the Understanding limits in Set page and modified them. I might have made a mistake in my definition of a colimit, so that should be checked.

      diff, v4, current

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

      Anonymous

      v1, current

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

      v1, current

    • Wrote a minimum of substance to this entry. My interest is prompted by current thinking on nn-dimensional analogues of Euler angles. There are several articles (mainly in quantum chemistry and mathematical physics literature) around 1969-1974, which introduce some analogues via calculational procedures. In my taste an elementary geometrical introduction using both intrinsic and extrinsic approach, in a spirit of Euler, will be more suggestive.

      diff, v4, current

    • added to simplicial object a section on the canonical simplicial enrichment and tensoring of D Δ opD^{\Delta^{op}} for DD having colimits and limits.

    • Some tidying up and additions at simplex category, in particular a section on its 2-categorical structure, and more on universal properties.

      I’ve edited the definition to focus more on the augmented simplex category Δ a\Delta_a instead of the ’topologists’ Δ\Delta’, but I haven’t changed their names, because it seemed to me that that was the best way to keep everyone involved in the discussion at that page happy. (I also changed the ordinal sum functor from ++ to \oplus, after Tim’s suggestion.)

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

      Anonymous

      v1, current

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

      Anonymous

      v1, current

    • Added a reference of Robert Furber, Bart Jacobs at Giry monad.

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

      Anonymous

      v1, current

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

      v1, current

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

      v1, current