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

    • Created ternary frame, a class of models for substructural logic which are basically obtained from Day convolution for promonoidal posets. Presumably people who know things know this, but in a few minutes of looking I haven’t found anyone mentioning it. Girard’s “phase space” semantics for linear logic (no relation to phase spaces of physics) are just the special case of regarding a monoidal category as a promonoidal one.

    • brief category:people-entry for hyperlinking references

      v1, current

    • I corrected a couple of wrong claims and added the link to a counter-example

      AG

      diff, v9, current

    • Creating the page, linked to from isofibration currently. Not yet finished, but contains so far the definition and some remarks on expressing it as a lifting condition. In a later edit, I will discuss the second condition, and remark on viewing Lack fibrations as ’Hurewicz fibrations’.

      v1, current

    • stub for S-duality – disambiguation and then the physics meaning

    • brief ‘category:people-entry for hyperlinking references

      v1, current

    • added several references on normal coordinates in supergeometry

      diff, v4, current

    • Added the property that algebras in toposes correspond to left exact left adjoints.

      diff, v3, current

    • a stub, for the moment just so as to record pointer to Simpson 12 where “resolution of the paradox” is claimed to be achieved simply by passing from topological spaces to locales

      v1, current

    • wrote a definition and short discussion of covariant derivative in the spirit of oo-Chern-Weil theory

    • only removing the latex markers

      Valeria de Paiva

      diff, v7, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Created an entry for this.

      I’ve adopted the existing convention at nLab in the definition of Tw(C)Tw(C) (which is also the definition I prefer).

      Since the opposite convention is used a lot (e.g. by Lurie), I’ve decided it was worth giving it notation, the relation between the versions, and citing results in both forms. Since I didn’t have any better ideas, I’ve settled on Tw¯(C)\overline{Tw}(C).

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • added more publication data and links to:

      • J. W. S. Cassels, Albrecht Fröhlich (eds.), Algebraic number theory, Acad. Press 1967, with many reprints; Fröhlich, Cassels, Birch, Atiyah, Wall, Gruenberg, Serre, Tate, Heilbronn, Rouqette, Kneser, Hasse, Swinerton-Dyer, Hoechsmann, systematic lecture notes from the instructional conference at Univ. of Sussex, Brighton, Sep. 1-17, 1965 (ISBN:9780950273426, pdf, errata pdf by Kevin Buzzard)

      also, I have fixed the order of the editor’s names

      diff, v11, current

    • brief category:people-entry for hyperlinking references

      v1, current

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

      diff, v2, current

    • starting a category:reference-page in which to eventually collect pointers to the contributions to this upcoming book collection

      v1, current

    • added to S-matrix a useful historical comment by Ron Maimon (see there for citation)

    • starting a collection of commented references here. This is to be !include-ed in the References-section of related entries. Therefore this entry starts out with a sub-section and contains nothing else.

      v1, current

    • The list of code repositories on https://www.homotopytypetheory.org is very out of date, so in an attempt to crowdsource creating a replacement and keeping it up to date, I’m making a wiki page instead.

      v1, current

    • I’ve expanded the section on morphisms in Banach space, because the new page on isomorphism classes of Banach spaces refers to a different notion of isomorphism than what the Banach space page previously called the “usual” notion of isomorphism. (The issue is that what’s usual seems to be different for analysts and category theorists.)

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

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • I’ll be working a bit on supersymmetry.

      Zoran, you had once left two query boxes there with complaints. The second one is after this bit of the original entry (this will change any minute now)

      The theory of supergravity is, as a classical field theory, an action functional on functions on a supermanifold XX which is invariant under the super-diffeomorphism group of XX.

      where you say

      Zoran: action functional is on paths, even paths in infinitedimensional space, but not on point-functions.

      I think you got something mixed up here. If XX is spacetime, a field on XX is the “path” that you want to see. The statement as given is correct, but I’ll try to expand on it.

      The second complaint is after where the original entry said

      many models that suggest that the familiar symmetry of various action functionals should be enhanced to a supersymmetry in order to more properly describe fundamental physics.

      You wrote:

      This is doubtful and speculative. There are many models which have supersymmetry which is useful in their theoretical analysis, but the same models can be treated in formalisms not knowing about supersymmetry. Wheather the fundamental physics needs a model which has nontrivial supersymmetry is a speculative statement, and I disagree with equating theoretical physics with one direction in “fundamental physics”. I do not understand how can a model suggest supersymmetry; it is rather experimental evidence or problems with nonsupersymmetric models. Also one should distinguish the supersymmetry at the level of Lagrangean and the supersymmetry which holds only for each solution of the equation of motion.

      I’ll rephrase the original statement to something less optimistic, but i do think that supersymmetry is suggsted more by looking at the formal nature of models than by lookin at the nature of nature. If you have a gauge theory for some Lie algebra (gravity, Poincaré Lie algebra) and the super extension of the Lie algebra has an interesting classification theory (the super Poincar´ algebra) then it is more th formalist in us who tends to feel compelled to investigate this than the phenomenologist. Supersymmetry is studied so much because it looks compelling on paper. Not because we have compelling phenomenological evidence. On the contrary.

      So, if you don’t mind, I will remove both your query boxes and slightly polish the entry. Let’s have any further discussion here.

    • in order to satisfy links, but maybe really in procrastination of other duties, I wrote something at quantum gravity

    • Started an article on monoidal monad. An earlier redirect had sent it over to Hopf monad which is something that Zoran was working on, but I think it deserves an article to itself, with discussion of the relation to commutative monads, etc. (which I have started).

    • added illustrating diagram to transfinite composition

      I also renamed the resulting composite morphism into  X \to Y . Hope I did this consistently.

    • brief category:people-entry for hyperlinking references

      v1, current

    • created quick stub for framed bicategory

      but my machine's battery will die any second now...

    • brief category:people-entry for hyperlinking references

      v1, current

    • Creating the page. Described briefly both the usual Lack model structure and the model structure using semi-strict equivalences coming from my thesis. A lot more could be added.

      v1, current