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

9421 to 9480 of 14400

  1. <
  2. 1
  3. ...
  4. 154
  5. 155
  6. 156
  7. 157
  8. 158
  9. 159
  10. 160
  11. 161
  12. ...
  13. 240
  14. >

    • Stub with very brief definition

      v1, current

    • I started comma double category. Since I care about equipments more than double categories in general, and because it actually is an instance of a comma object, I made the article mostly about virtual double categories. I wrote down a couple of conjectures about when the comma has units and composites, but haven’t verified them yet and not sure when I will.

    • Cheng is no longer at Sheffield University, so links were out of date.

      Robin Adams

      diff, v3, current

    • Fixed a dead link and updated Jeff’s research interests.

      diff, v8, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

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

      v1, current

    • Created page, more content to be added.

      v1, current

    • Kazama Suzuki models are a hallmark of constructing Superstring compactification with C=9, as required by internal consistency. Uses of it is varied, though a non-existing page of this topic on n Lab has surprised me.

      Anonymous

      v1, current

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

      v1, current

    • I do think the phrasing “dense G δG_\delta set (i.e. a countable intersection of dense opens)” was a bit confusing, since “i.e.” means “in other words”, but here it applies only to the immediately preceding words “G δG_\delta set” rather than the entire phrase “dense G δG_\delta set”. So I changed it to “dense G δG_\delta set (i.e. a countable intersection of dense opens that is itself dense)”.

      diff, v13, current

    • just for completeness, and to make links work

      v1, current

    • For ease of hyperlinking the phrase “cocycle space”, I am giving this its own little entry

      v1, current

    • Added a reference to the Moerdijk and Weiss’s paper.

      diff, v2, current

    • stub entry, just to satisfy links

      v1, current

    • Comment about Ackermann function. I don’t know what Ackermann originally wrote, but most texts use A_0(m)=m+1, if I understand correctly.

      diff, v18, current

    • Just some minimum, for completeness, to go in the list of constructions with Sullivan models

      v1, current

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

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

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

      v1, current

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

      v1, current

    • I’ve started ordinal analysis, mostly because I was beginning to forget a lot of what I once knew, and I had occasion to look into it again.

      I mainly wanted to get the big table in there for future reference, but I tried to say few general remarks as well. I know there’s not much of an npov on ordinal analysis (yet), but it’s certainly of interest concerning strength of type theories for example.

      I may try to fill in more explanations of undefined terms later, but I’m done for today.

    • I was thinking/hoping now that a general approach to perturbative QFT should exist, where all Feynman amplitudes are regarded not as singular distributions on M nM^n, but as smooth differential forms on the FM-compactification of the configuration space of nn points. Mentioning this hunch to Igor Khavkine, he immediately recalled having heard Marko Berghoff speak about developing just that in his thesis Berghoff 14.

      v1, current

    • a bare minimum, just for completeness

      v1, current

    • In the entry spacetime there used to be a subsection on the “hole argument”. It started out with Tim van Beek recalling the “hole paradox” and then continuing with me adding a lengthy discussion, with the result being an organizational mess as far as the poor entry that hosted it was concerned.

      I have now moved that material into its own entry hole paradox, gave it a coherent and concise (I hope) idea-section, and cross-linked with general covariance.

      The section “The hole argument” there is what Tim had originally written, I think, whereas the section Discussion is what I had added back then.

      I am not claiming that that “discussion” of mine is necessarily particular well formulated, but I claim that it gets to the point.

      Looking around I see that one finds the weirdest things being said about the “hole paradox”. For instance the first sentence this article here.

      I am not proposing that we get into this. All I wanted to achieve here is to clean up the poor entry spacetime.

    • I’ve been confused about a search for “pullback lemma” not returning any results, hence this redirect to the proper page

      v1, current

    • I am planning to write a few things about Picard groupoids. For this purpose, I have removed a couple of redirects from Picard 2-group, added a new one which is a bit more precise, and tweaked the beginning of this page slightly. Feel free to edit further; I basically just wished to free up the page Picard groupoid.

    • I gave a short overview of the essay referenced to in the article mysticism. The focus of Russel’s essay is to achieve some compatibility of the approach of Kant’s transcendental aesthetic with geometric developments of his time.

      v1, current

    • Added statement and reference to the original paper

      diff, v2, current

9421 to 9480 of 14400

  1. <
  2. 1
  3. ...
  4. 154
  5. 155
  6. 156
  7. 157
  8. 158
  9. 159
  10. 160
  11. 161
  12. ...
  13. 240
  14. >
Top of Page