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

nLab > Latest Changes

Show all

10081 to 10140 of 14394

  1. <
  2. 1
  3. ...
  4. 165
  5. 166
  6. 167
  7. 168
  8. 169
  9. 170
  10. 171
  11. 172
  12. ...
  13. 240
  14. >

    • Created table, to help group and interlink all these pages.

      v1, current

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

      v1, current

    • To fulfil a link. Can’t seem to find a institutional website for him.

      v1, current

    • Created page to record the definition.

      v1, current

    • Falk Hassler added to the list of persons

      Anonymous

      v1, current

    • brief category:people-entry for hyperlinking a historical reference at gauge theory

      (I made “Jean Iliopoulos” a redirect, I hope I got it right that both names are used by the same person)

      v1, current

    • stub for flop transition (I mean the flop transition in terms of SCFTs. Maybe I should find a more specific title for that)

    • added detailed statement and proof (here) that 𝔸 1\mathbb{A}^1-homotopy localization over any site of 𝔸 n\mathbb{A}^ns is ∞Grpd\infty Grpd. (Hence, in particular, that L ℝ 1Smooth∞Grpd≃∞GrpdL_{\mathbb{R}^1} Smooth\infty Grpd \simeq \infty Grpd)

      diff, v14, current

    • Quickly generated free topos. Mostly references.

    • Freyd and others use the term “punctuated category” to refer to a pointed category, so it’s helpful to redirect that here.

      diff, v12, current

    • This page just had a couple of references, so I’ve added the idea and more references.

      I came to this subject via Lurie’s MO question. Isn’t it a shame that such a highly regarded mathematician reaching out to the categorical logic community doesn’t receive an answer from them?

    • Created theorem-page to record the result and references.

      v1, current

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

      diff, v2, current

    • Added a section about the preservation of five classes of maps.

      diff, v11, current

    • A message to Mike:

      Hi Mike,

      I hear that in Swansea you ended by talking about things related to elementary ∞\infty-toposes. I didn’t get a chance to see anyone’s notes yets. Do you have electronic notes to share?

    • added pointer to

      • J. Montesinos, A representation of closed orientable 3-manifolds as 3-fold branched coverings of S 3S^3, Bull. Amer. Math. Soc. 80 (1974), 845-846 (Euclid:1183535815)

      here and also at 3-manifold and 3-sphere

      diff, v11, current

    • stub, for the moment just so as to make links work

      v1, current

    • Is the equivariant suspension spectrum functor still strong monoidal, homotopically?

      diff, v10, current

    • created brief entries Wirthmüller context and Grothendieck context, following Peter May’s terminology for the two special cases where four of the Grothendieck six operations specialize to an adjoint triple.

      The main thing I’d like to record is lists of classes of examples that realize either of these contexts. But haven’t gotten around to that yet.

    • Created new page for Brownian motion.

      Anonymous

      v1, current

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

      v1, current

    • Some minimal content, and a couple of examples.

      v1, current

    • Corrected an arithmetic error in the last section.

      diff, v14, current

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

      v1, current

    • just for completeness. Redirecting “positive definite matrix” and various variants of that.

      v1, current

    • Added something to fill a link. Please check the definition that I have given; it is the one that is most natural to me, but not the most standard! Feel free to add details of equivalent definitions.

      The commutative diagram will not render yet, I am working on that now; should be done shortly. [Edit: done now!]

      v1, current

    • Created page, recording the definition and its relation to awfs.

      v1, current

    • Creating this for testing the nForum announcer. I plan to fill it in with actual content soon.

      v1, current

    • Tried to discuss this notion in a way which has some flexibility and generality, but which also is concrete.

      v1, current

    • A beginning to satisfy some links.

      v1, current

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

      v1, current

    • am clearing this page, since I just noticed that it duplicates the entry Robion Kirby. I suppose the latter should be the entry with “Rob Kirby” a redirect(?)

      diff, v2, current

    • Created page, with definition.

      Berger-Mellies-Weber claim that the nerve theorem for monads with arities constructs Eilenberg-Moore and Kleisli objects in the 2-category of categories with arities, but as far as I can see their proof as written only shows that the Eilenberg-Moore adjunction lives in this 2-category, not that it retains its universal property there. Is there a quick way to see that it does? If this is true, then I think it gives an even more “natural” explanation of the nerve construction, along the lines of Tom’s original blog post.

      v1, current

    • added pointer to

      • R. P. Brent, J. van de Lune, H. J. J. te Riele and D. T. Winter, On the Zeros of the Riemann Zeta Function in the Critical Strip. II, Mathematics of Computation Mathematics of Computation Vol. 39, No. 160 (Oct., 1982), pp. 681-688 (doi:10.2307/2007345 )

      for computer-checks of the Riemann hypothesis. (there are probably more recent such?)

      diff, v8, current

    • I gave sheaf with transfer an Idea-section

      (the entry used to me named “Nisnevich sheaves with transfer”. I have renamed it to singular to stay with our convention and removed the “Nisnevich” from the title, as the concept of transfer as such is really not specific to the Nisnevich topology).

      The idea section now is the following. (Experts please complain, and I will try to fine tune further):

      Given some category (site) SS of test spaces, suppose one fixes some category Corr p(S)Corr_p(S) of correspondences in SS equipped with certain cohomological data on their correspondence space. Then a sheaf with transfer on SS is a contravariant functor on Corr p(S)Corr_p(S) such that the restriction along the canonical embedding S→Corr p(S)S \to Corr_p(S) makes the resulting presheaf a sheaf.

      Traditionally this is considered for SS the Nisnevich site and Corr p(S)Corr_p(S) constructed from correspondences equipped with algebraic cycles as discussed at pure motive, (e.g. Voevodsky, 2.1 and def. 3.1.1).

      The idea is that, looking at it the other way around, the extension of a sheaf to a sheaf with transfer defines a kind of Umkehr map/fiber integration by which the sheaf is not only pulled back along maps, but also pushed forward, hence “transferred” (this concept of course makes sense rather generally in cohomology, see e.g. Piacenza 84, 1.1).

      The derived categories those abelian sheaves with transfers for the Nisnevich site with are A1-homotopy invariant provides a model for motives known as Voevodsky motives or similar (Voevodsky, p. 20).

    • Definition of extensional PiPi-type structure taken from Natural models of homotopy type theory

      Should we develop how to get application, β\beta and η\eta here or should we leave it to the interpretation ?

      v1, current

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

      v1, current

10081 to 10140 of 14394

  1. <
  2. 1
  3. ...
  4. 165
  5. 166
  6. 167
  7. 168
  8. 169
  9. 170
  10. 171
  11. 172
  12. ...
  13. 240
  14. >
Top of Page