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 accessible adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry 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 galois-theory 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 history 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 newpage nlab noncommutative noncommutative-geometry number 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 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).
    • Started a page on the Joyal-Wraith concept.

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • a bare minimum of an Idea-paragraph, for the moment just so as to make links work at graphene and elsewhere

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Discovered that we have this stub entry, prompted by discussion here

      Added pointer to the definition in

      • Pavel Etingof, Victor Ostrik, Sec 1.3 of: On the Frobenius functor for symmetric tensor categories in positive characteristic, J. für die reine und angewandte Mathematik 773 (2021) 165–198 [[arXiv:1912.12947]]

      which looks different from what the entry states (without reference).

      Googling, the first hit is Wikipedia, which agrees with the other definition here, but cites the nLab for it.

      I don’t have the leisure now to look into this. Maybe somebody else does. I have left a warning “under construction” at the top of the entry.

      diff, v5, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • starting something – not ready yet for public consumption, but I need to save

      v1, current

    • splitting the paragraph on De Morgan’s law in constructive mathematics into its own section, and adding a section about De Morgan’s law in homotopy type theory

      Anonymous

      diff, v17, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • As there had been a change to the entry for Ross Street I gave it a glance. Is there a reason that the second reference is to a paper without Ross as an author?I hesitate to delete it as there may be a hidden reason. (I have edited this discussion entry to remedy the point that Todd and Urs have made below. I also edited the title of this discussion!)

    • Christian alerts me that the graphics in the Idea-section (here) after “The first few orientals look as follows” does not display (or not anymore).

      Looking at the code of this page, one finds a baroque construction which is trying and failing to !include the page oriental > Delta4 and its cousins. These pages, in turn, do display by themselves, but what they show is quite ill-formatted and the code which produces this unpleasant output is even more baroque and unreadable.

      Therefore, besides the technical issue of why the present code does not render, I think we should delete it even if it did or will render, and replace it by one single well-done tikzpicture.

      I can produce such a tikzpicture of the first few orientals, if necessary. But if anyone feels ambitious about this and/or already has available such a tikzpicture, please feel invited to edit it into oriental.

      diff, v36, current

    • a new !include-file for graphics displaying the first few orientals – following the discussion here

      v1, current

    • I have created a stub for dependent type theory.

      This used to redirect to just type theory, but in that entry it is being escaped to Martin-Löf type theory, so clearly either it should redirect there or have a separate entry. I guess a separate entry is better, since there is dependent type theory that is not of Martin-Löf “type”.

    • some minimum, just for completeness

      v1, current

    • Added link to Vaughan Pratt’s Linear Process Algebra.

      diff, v32, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • just re-discovered the existence of the ancienct page holonomic quantum field, while looking to hyperlink the authors of:

      This old page needs attention:

      After I had given (in rev 2) Zoran’s original text the header “Idea”, Zoran complained within the entry (rev 3) about his own text that:

      There is no single mathematical idea expressed here yet!

      and

      Somebody should figure it out

      diff, v5, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Hello, I thought that a new entry would be a good thing. Just a sketch for now.

      v1, current

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

      v1, current

    • Many more references and a couple of new sentences in Idea section of logarithmic CFT stub.

    • An ordinary natural transformation F→G (F,G:C→D) can be converted into a functor I⨯C→D whose restrictions to {0}⨯C and {1}⨯D are F and G respectively. Here I={0→1}.

      It seems to me that a pseudonatural transformation can likewise be converted to a 2-functor I⨯C→D. In particular, the morphism ϕ(f)\phi(f) in the definition of a pseudonatural transformation can be encoded via the compositor isomorphisms for the maps (0,r)→(0,s)→(1,s).

      Has this been written up somewhere?

      diff, v14, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • starting something – my main motivation for the moment is to bring out references which admit that topological quantum computation by braiding of defect anyons is a form of adiabatic quantum computation

      v1, current

    • a stub (just some references for the moment), for the time being just so that links work

      v1, current

    • gave the old entry wedge sum its explicit formal definition. Also added two examples.

    • Added several classical books on complex analytic spaces

      Anonymous

      diff, v11, current

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

      Anonymous

      v1, current

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

      Anonymous

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • the entry modular tensor category was lacking (among many things that it is still lacking) some pointers to literature that reviews the relation to QFT. I have added a handful, maybe the best one is this here:

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

      Anonymous

      v1, current

    • Fixed typo in Definitions section

      Anthony Hart

      diff, v3, current

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

      Anonymous

      v1, current