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).
    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Comment at (n,r)-category about the equivalence of fundamental categories. This is a coarser notion than equivalence of categories in the usual sense.

      -David Roberts
    • I have touched wording, typesetting and hyperlinking of this entry, in an attempt to polish it up a little.

      diff, v11, current

    • Adding a page for orbital cats

      Natalie Stewart

      v1, current

    • Created a stub page. It would be good to have an explicit definition of wreath on this page, but I don’t have time right now.

      v1, current

    • might as well make a page

      Keith J. Bauer

      v1, current

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

      Anonymous

      v1, current

    • Quick stub, mostly written from memory.

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Created a stub for this concept.

      v1, current

    • I added more to idempotent monad, in particular fixing a mistake that had been on there a long time (on the associated idempotent monad). I had wanted to give an example that addresses Mike’s query box at the bottom, but before going further, I wanted to track down the reference of Joyal-Tierney, or perhaps have someone like Zoran fill in some material on classical descent theory for commutative algebras (he wrote an MO answer about this once) to illustrate the associated idempotent monad.

      Some of this (condition 2 in the proposition in the section on algebras) was written as a preparatory step for a to-be-written nLab article on Day’s reflection theorem for symmetric monoidal closed categories, which came up in email with Harry and Ross Street.

      • links to PB’s bio at ETHZ, the Bernays Project at CMU, the SEP account of his role in the emergence of first order logic

      AnodyneHoward

      diff, v2, current

    • Some ×\times were written as xx, so fixed. There were sign changes going on that I didn’t understand, p 2(12p 2) 2p_2 - (\frac{1}{2}p_2)^2 and p 2+(12p 1) 2p_2 + (\frac{1}{2}p_1)^2.

      diff, v45, current

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

    • brief category:people-entry for hyperlinking references

      (I feel like I had created this page long ago, but apparently I didn’t)

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • at cyclic group there had been a typo that said “free group” instead of “cyclic group” (in the Examples-section). I have fixed that.

      Somehow I think this entry could be organized differently, but I won’t do that now.

    • I just discovered that, all along, the term “quiver representation” was just redirecting to representation. Have started this dedicated page now, with the bare minimum

      v1, current

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

    • Making a particular page for C_2 equivariant homotopy groups because real Betti realization is fundamental there and doesn’t exist over other groups.

      Natalie Stewart

      v1, current

    • Following discussion in some other threads, I thought one should make it explicit and so I created an entry

      Currently this contains some (hopefully) evident remarks of what “dependent linear type theory” reasonably should be at least, namely a hyperdoctrine with values in linear type theories.

      The entry keeps saying “should”. I’d ask readers to please either point to previous proposals for what “linear dependent type theory” is/should be, or criticise or else further expand/refine what hopefully are the obvious definitions.

      This is hopefully uncontroversial and should be regarded an obvious triviality. But it seems it might be one of those hidden trivialities which deserve to be highlighted a bit more. I am getting the impression that there is a big story hiding here.

      Thanks for whatever input you might have.

    • edited Moore closure. Added a bit more glue, restructured slightly, and added more hyperlinks.

    • reformatted the entry group a little, expanded the Examples-section a little and then pasted in the group-related “counterexamples” from counterexamples in algebra. Mainly to indicate how I think this latter entry should eventually be used to improve the entries that it refers to.

    • brief category:people-entry for hyperlinking references

      v1, current

    • Add a stub for this concept. I will add more details shortly.

      v1, current

    • maded explicit the identification of equivariant stable homotopy groups with equivariant generalized cohomology groups of the point: here

      diff, v12, current

    • Changing for consistency with the borromean rings

      Natalie Stewart

      diff, v4, current

    • I switched the colors so that they match the logo :)

      Natalie Stewart

      diff, v6, current

    • Page for Bastiaan

      Natalie Stewart

      v1, current

    • Added the new C_2-equivariant stable stems paper

      Natalie Stewart

      diff, v12, current

    • Added the new C_2-equivariant stable stems paper

      Natalie Stewart

      diff, v11, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • a bare minimum entry, for the moment just to record some references

      v1, current