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

    • brief category:people entry for hyperlinking reretences

      v1, current

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

      v1, current

    • added an Examples-section (here) “In 2d gravity on String worldsheets”

      diff, v3, current

    • I am changing the page title – this used to be “A first idea of quantum field theory”, which of course still redirects. The “A first idea…” seemed a good title for when this was an ongoing lecture that was being posted to PhysicsForums. I enjoyed the double meaning one could read into it, but it’s a bad idea to carve such jokes into stone. And now that the material takes its place among the other chapters of geometry of physics, with the web of cross-links becoming thicker, the canonical page name clearly is “perturbative quantum field theory”.

      diff, v187, current

    • added pointer to these two recent references, identifying further L L_\infty-algebra structure in Feynman amplitudes/S-matrices of perturbative quantum field theory:

      diff, v11, current

    • Adding reference

      • Hee-Joong Chung, Dohyeong Kim, Minhyong Kim, Jeehoon Park, Hwajong Yoo, Entanglement entropies in the abelian arithmetic Chern-Simons theory [2312.17138]

      Anonymouse

      diff, v8, current

    • this is a bare list of references which used to be (and still is) at entanglement entropy. But since the same references are now also needed at long-range entanglement, I am putting them in a separate page here, to be !include-ed into both these entries

      v1, current

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

      v1, current

    • Balancing doesn’t mention duals anywhere, and makes sense even without duals. I removed an incorrect statement and replaced it with the correct one. Not sure if it needs a reference, but the correct result appears as Lemma 4.20 in https://arxiv.org/pdf/0908.3347.pdf (where it’s attributed to Deligne, but the citation is to Yetter).

      diff, v7, current

    • I am hereby moving an old query-box discussion from abelian category to here. I suggest that to the extent this reached a conclusion, that conclusion should be moved to the Properties-section of the entry


      [begin forwarded discussion]

      The following discussion is about whether a pre-abelian category in which (epi,mono) is a factorization system is necessarily abelian.

      +–{: .query} Mike: In Categories Work, and on Wikipedia, an abelian category is defined to be (in the terms above) a pre-abelian category such that every monic is a kernel and every epi is a cokernel. This implies that (epi, mono) is an orthogonal factorization system, but I don’t see why the converse should hold, as this seems to assert.

      Zoran Skoda It is very late night here in Bonn, so check on my reasoning, but I think that the answer is simple. Let f:ABf: A\to B. The canonical map coker(kerf)ker(cokerf)\coker(\ker f)\to \ker (\coker f) exists as long as we have additive category admitting kernels and cokernels. The arrow from A to coker (ker f) is epi as every cokernel arrow, and the arrow of ker(cokerf)B\ker(\coker f) \to B is mono. Now canonical arrow in between the two is automatically both mono and epi. For all that reasoning I did not yet assume the axiom on uniquely unique factorization. Now assume it and you get that the canonical map must be isomorphism because it is the unique iso between the two decompositions of ff: one in which you take epi followed by (the composition of) two monics and another in which you have (the composition of) two epis followed by one monic. Right ?

      Now do this for ff a monic and you get a decomposition into iso iso kernel and for ff an epi and you get the cokernel iso iso as required.

      Mike: Why is the canonical comparison map mono and epi? It’s late for me too right now, but I think that maybe a counterexample is the “multiplication by 2” map \mathbb{Z}\to \mathbb{Z} in the category of torsion-free abelian groups.

      However, if you assume explicitly that that comparison map is always an isomorphism, then I believe it for the reasons that you gave.

      Zoran Skoda I do not see this as a counterexample, as this is not a pre-abelian category, you do not have cokernels in this category ? In a pre-abelian category always the canonical map from coker ker to ker coker has its own kernel 0 and cokernel 0.

      Mike: Torsion-free abelian groups are reflective in abelian groups, and therefore cocomplete. In particular, they have cokernels, although those cokernels are not computed as in Ab. In particular, the cokernel of 2:2:\mathbb{Z}\to\mathbb{Z} is 0.

      Zoran Skoda Yes, I was thinking of this reflection argument (equivalence of torsion and localization argument), that is why I put question mark above. Now I tried to prove the assertion that in preabelian cat the canonical map has kernel 0 and cokernel 0 and I can’t for more than an hour. But that would mean that for example Gelfand-Manin book is wrong – it has the discussion on A4 axiom and it says exactly this. Popescu makes an example of preabelian category where canonical map is not iso, but emphasises in his example that it is bimorphism. On the other hand, later, he says that preabelian category is abelian iff it is balanced and the canonical map is bimorphism, hence he requires it explicitly. Let me think more…

      Zoran Skoda I have rewritten in minimalistic way, leaving just what I can prove, and assuming that you are right and Gelfand-Manin book has one wrong statement (that the canonical map in preabelian category is mono and epi). But let us leave the discussion here for some time, maybe we can improve the question of the difference between preabelian with factorization and abelian.

      Mike: I refactored the page to make clear what we know and what we don’t, and include some examples. Maybe someone will come along and give us a counterexample or a proof. I wonder what the epimorphisms are in the category of torsion-free abelian groups, and in particular whether it is balanced (since if so, it would be a counterexample).

      Mike: Okay, it’s obvious: the epimorphisms in tfAbtfAb are the maps whose cokernel (in AbAb) is torsion. Thus 2:2:\mathbb{Z}\to\mathbb{Z} is monic and epic, so tfAbtfAb is not balanced. And since 2:2:\mathbb{Z}\to\mathbb{Z} is its own canonical map, that canonical map is monic and epic in tfAbtfAb, so this isn’t a counterexample.

      Zoran: http://www.uni-trier.de/fileadmin/fb4/INF/TechReports/semi-abelian_categories.pdf says at one place that Palamodov’s version of semi-abelian category is preabelian + canonical morphism is epi and mono. =–

      [end forwarded discussion]

    • 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

    • I have added to M5-brane a fairly detailed discussion of the issue with the fractional quadratic form on differential cohomology for the dual 7d-Chern-Simons theory action (from Witten (1996) with help of Hopkins-Singer (2005)).

      In the new section Conformal blocks and 7d Chern-Simons dual.

    • brief category:people-entry for hyperlinking references

      v1, current

    • Mike Stay kindly added the standard QM story to path integral.

      I changed the section titles a bit and added the reference to the Baer-Pfaeffle article on the QM path integral. Probably the best reference there is on this matter.

    • Somebody named Adam left a comment box a while ago at premonoidal category saying that naturality of the associator requires three naturality squares. I believe that this is true when phrased explicitly in terms of one-variable functors, but the slick approach using the “funny tensor product” allows us to rephrase it as a single natural transformation between functors CCCCC\otimes C\otimes C\to C. I’ve edited the page accordingly. I also added the motivating example (the Kleisli category of a strong monad) and a link to sesquicategory.

      There is a comment on the page that “It may be possible to weaken the above make (Cat,)(Cat,\otimes) a symmetric monoidal 2-category, in which a monoid object is precisely a premonoidal category”. However, the Power-Robinson paper says that “We remark that (C):CatCat(C \otimes -) : Cat \to Cat is not a 2-functor,” which seems to throw some cold water on the obvious approach to that idea. Was the thought to define a different 2-categorical structure on CatCat than the usual one, e.g. using unnatural transformations? It seems that at least one would still have to explicitly require centrality of the coherence isomorphisms.

    • I wanted to be able to use the link without it appearing in grey, so I created a stub for general relativity.

    • Init this page, which is referenced quite a few times. I’m not much of an expert on these weak foundations so if someone else would like to fill in some details that would be nice.

      v1, current

    • I created a stub certified programming.

      That’s motivated from me having expanded the Idea-section at type theory. I enjoyed writing the words “is used in industry”. There are not many nnLab pages where I can write these words.

      I am saying this only half-jokingly. Somehow there is something deep going on.

      Anyway, in (the maybe unlikely) case that somebody reading this here has lots of information about the use and relevance of certified programming in industry, I’d enjoy seeing more information added to that entry.

    • a stub page, for the moment just to make the link work

      v1, current

    • This page is dedicated to the Stieltjes integral. It is basically a generalization of integrals with respect to a function of bounded variation.

      This page will present the main propperties of the Stieltjes integral and show its links with measure theory and other types of integral, mainly the Riemann integral, the Lebesguye integral and the Stieltjes integral.

      v1, current

    • I have started an entry Majorana spinor with discussion of how the physicist’s concept going by that name is a real structure on a complex spin representation.

      Initially I had wanted to just follow the note by Figueroa-O’Farrill, but either I am missing something or else there is a gap in the argument there.

      So in particular at the moment I have just one direction “Majorana structure is real structure”, not the converse.

      (And why is it that the proposition number cross referencing is again broken?)

    • I am working on entries related to generalized complex geometry. My aim is to tell the story in the correct way as the theory of the Lie 2-algebroid called the

      Most, if not all, of the generalized complex geometry literature, uses the "naive" definition of Courant algebroids that regards them as vector bundles with some structure on them and is being vague to ignorant about what the right morphisms should be.

      As discussed at Courant algebroid we know that we are really dealing with a Lie 2-algebroid and hence know where precisely this object lives. This provides some useful, I think, perspectives on some of the standard constructions. I want to eventually describe this. For the moment I have just the material at standard Courant algebroid with only two most basic observations (which, however, in my experience already take a nontrivial amount of time on the blackboard to explain to somebody used to the "naive" picture usually presented in the literature).

    • Based on a private discussion with Mike Shulman, I have added some explanatory material to inductive type. This however should be checked. I have created an opening for someone to add a precise type-theoretic definition, or I may get to this myself if there are no takers soon.

    • 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