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).
    • started a minimum at de dicto and de re, mainly such as to have a place to point to section 4 of

      • Michael Makkai, Gonzalo Reyes, Completeness results for intuitionistic and modal logic in a categorical setting, Annals of Pure and Applied Logic 72 (1995) 25-101
    • at universal construction there used to be a little chat between me and Toby along the lines of "would be nice if somebody added something here".

      Since I think by now we have plenty of pointers to this entry, I thought it should present itself in a slighly more decent fashion. So I removed our chat and left a stubby but honest entry.

    • I created a short entry Banach-Alaoglu theorem to fulfil a grey link. While the general theorem is equivalent to the Tychonoff theorem for Hausdorff spaces, the case of separable Banach spaces is constructive. I do wonder how constructive, but apparently this gets used to construct solutions to PDEs, so I guess it’s quite concrete.

    • created a stub for dihedral homology, for the moment just so as to record a recent reference

    • Am starting an entry pro-manifold. Have added statement and proof that pro-Cartesian spaces are fully faithful in smooth loci (here).

    • There is a dead link at ionad (the one to ‘web’. This is repeated at Richard Garner. There is a second link, (to an ArXiv version), so I will delete the dead ones. Is there a published version somewhere as well?

    • I made some progress understanding the concept of Albanese variety and updated this page.

      The miracle here is that being an abelian variety is just a property of a pointed connected projective algebraic variety, not extra structure.

      As Qiaochu Yuan pointed out on MathOverflow, any basepoint-preserving continuous map between tori is homotopic to a group homomorphism. But when these tori are abelian varieties, and the map preserves that structure, it’s actually equal to a group homomorphism!

    • Expanded the examples section at end (prodded by discussion in the blog), stating Kan extension and geometric realization.

      Also added a toc.

    • There is a strange entry Metadata properties which was created bt ‘The User’ quite some time ago. Does anyone know what this was? (I happened on it when searching for something else.)

    • I’ve added a proof that rank 0 virtual vector bundles are nilpotent elements in K-theory to virtual vector bundle, and made some small edits to topological K-theory. The latter page had the definition of K-theory mixed up with the definition of reduced K-theory, so I made a small correction there, but the proof that K(X)K(X) is a ring is not there now, as the existing proof was for reduced K-theory only. I will edit this in the coming days.

      Incidentally, for ’compact support’ vector bundle K-theory of a non-compact space (so not representable K-theory), this implies that the K˜(X)\tilde K(X)-adic topology is discrete, as opposed to the case where for non-compact spaces representable K-theory has something interesting going on (cf work of Atiyah-Segal on equivariant K-theory and completion, where they compute K(BG)K(BG) in the case of representable K-theory for GG compact).

    • Someone calling themselves‘Realigned arrows for clarification and fixed composition order’ has changed the composition order on hom-functor.

    • I see Thomas has revived construction in philosophy after it was emptied a while ago from the initial spam. If it’s naming a piece of writing, i.e., by Schelling, we tend to capitilize. But perhaps it’s a more general development within philosophical logic. It would help to relate this entry to constructive mathematics.

      In that we’re told its influence continues to our times through Dummett, etc., are we to think of that strand of constructivism which runs through to Martin-Lof? I recently noted him say

      …mathematical knowledge through the construction of concepts, Ger. mathematische Erkenntnis durch die Konstucion der Begriffe, a splendid formulation which no doubt had a fruitful influence on Brouwer, and to my mind it is justifiable to say that intuitionism is a development of an essentially Kantian position in the foundations of mathematics. (Martin-Löof, Analytic and synthetic judgements in type theory, p. 99).

    • After the third time typing "pretopology" into my nlab-goto box and ending up at pretopological space instead of where I wanted to be, namely Grothendieck pretopology, I changed the redirect. It seems likely to me that the latter notion will be of more interest to more of our clientele than the former. But if you disagree, speak up.

      I also added a Wikipedia-style "see also" note to the top of Grothendieck pretopology. Should we do that sort of thing in general?

    • hilbertthm90 has mentioned he wants to write some substance on abelian variety, so to encourage and facilitate this, I have created a short stub for it, mainly the bibliography and short idea.

    • New stub tangent map.

      It uses the link differential of a map which does not direct to anything at the moment as it is hard to decide. The entry differential is dedicated to differential of a chain complex, hence neglecting the term usage for the differential of a map of Banach spaces or the differential of a map of differentiable manifolds. Now the nLab mostly uses derivative for a differential and at th moment derivative points to differentiable map. Now there is an entry differentiation which is covering mostly the same as differentiable map but in the way of Lawvere-Kock synthetic differential geometry, Inside the entry differentiation there is a place whete derivative and differential are contrasted in a way which is exactly opposite to the traditional analysis: the entry calls derivative an infinitesimal difference and differential the ratio, while all classical textbooks do it the opposite to that. Moreover, in that entry, the link differential is used which points to chain complexes, hence nothing to do (Urs was always complaining that the expression derived functor is not motivated although differentials in chain complexes are used to do it), hence we should not mix differentials in homological algebra and differential of a map, which should become a good redirect, once we agree upon conventions or possible mergers of entries. Attention Urs, Todd, Toby, Mike.

    • There is a stub adjoint representation which in my opinion should be the same entry as adjoint action, hence should be merged. Words representation and action are in general equivalent; to each action G×MMG\times M\to M one assigns a representation GEndMG\to End M and viceversa (up to nicetess of inner hom spaces etc.). True, the specialists in Lie theory like to prefer calling representation when they have a linear representation but their own textbooks start with nonlinear case. Thus action of a Lie group on a Lie group is nonlinear hance usually the action terminology used while on a Lie algebra more often the representation is used, but it is not a rule, and the distinction does not survive in generalizations (like the Hopf algebra); any sensible entry, as the main entry “adjoint action” should relate th nonlinear case and its linearization hence should not be in separate entries. I wanted to write some references for adjoint action for quantum groups but gave up as I do not know into which of the entries and expect a decision on fiture fate of the two entries first.

    • Someone created a page called characteristic variety, but with silly content. It has been renamed empty 160. (The content was TJM-37MOONG BEAN and TJM-37 would seem to be a disease resistant variety of Mung bean!)

    • I added some thoughts I had to the page on anafunctors, outlining another way of viewing their definition. It is quite possible that there exists standard terminology for what I called "AllButChosen(-)" in my edit, but I'm afraid I don't know what it is.
    • I updated separable space. I have two questions:

      1. Is it possible to proof that a separable space is Lindelöf without any form of AC?
      2. I do not understand how the theorem separable\Leftrightarrowsecond countable is subsumed by Theorem 2.
    • The entry (infinity,1)-Kan extension is still a sad stub which you shouldn’t look at if you have better things to do. But I have now briefly added at least a few more specific pointers to HTT, in particular to the pointwise-ness issue. But just pointers, essentially no text for the moment. (If you feel energetic, be invited to turn the entry into something prettier!)

    • basic Fraenkel model

      Added some more information about the properties and possible variations, plus a reference to its properties.

    • Added a page about a colored generalization of the notion of a symmetric sequence at symmetric colored sequence. I’m happy to merge this (or some heavily edited and corrected version of it) with the page on symmetric sequences. Also open to massive edits or whatever. Just feel like something like this should be on here.

    • Couldn’t find a latest changes discussion for symmetric sequence so I am just reporting that I added a little bit to that page. In particular, I added another slicker definition in the case that we are interested in a symmetric sequence for the sequence of symmetric groups.

    • Created exact square, but haven’t linked to it from anywhere else yet. I’m planning to move some of the discussion of exactness at derivator to its own page homotopy exact square, analogous to this one.

      (Is the phrase “exact square” used for other things that we should worry about disambiguating/clarifying?)

    • I added some information to Tractatus Logico-Philosophicus. As this topic (interpretation of the Tractatus) is really complex (and I certainly do not have complete knowledge) and I am new to nLab, I am not quite sure about what and how much to put in. Any advice?

    • Urs is doing a demo on the nlab. He is elaborating the axiom of determinacy. Set theorist, please elaborate.

    • Made a page for wheeled graph, which follows directly from generalized graph and draws from the recent book of Hackney, Robertson and Yau. Will add more later about how this relates to properads and PROPs, as well as graphical sets, which generalize simplicial sets and dendroidal sets.

    • Created a new page generalized graph based on the definition given in Hackney, Robertson and Yau’s recent book, which appears to be influenced at least in part by the paper of Kock cited on the page. As far as I can tell none of the other things on the nlab (e.g. quiver or graph or their associated sub-entries about pseudographs and so forth) deal with the case of the “exceptional cell.” If the notion I describe on this page is already somewhere on the nlab, I’d be happy to know that and get rid of the page I made.

    • Might anyone have a pdf copy of Peter May’s thesis for me, the document that, I gather, expands over the published version May 66 by a discussion specific to the Steenrod algebra?

    • At Sweedler notation, Zoran wrote

      One can formalize in fact which manipulations are allowed with such a reduced notation.

      Where can I find such a formalization?

    • stub for relativistic particle (in order to record a good reference kindly pointed out by Igor Khavkine to me)

    • As I need trees as relational structures for my modal logic stuff, I have added something on them in tree. I took this from of the definition from Blackburn et al, and it seems to me to be related to the previous paragraph in tree. Any thoughts? I am not 100% happy with my addition as there seem to be some awkwardness in their formulation.

      I am trying to go towards a n-dim analogue of modal stuff, and here the relation SS has properties that state that its converse relation S opS^{op} is a partial function with domain the set of nodes minus the root. Looking at this homotopically it says that S opS^{op} forms part of a contracting homotopy. This in turn suggests that there is a perhaps useful n-relational structure obtained from an n-dim contractible complex (generalising a converse to simple homotopy operations). Has anyone come on something like this explicitly? The idea is a fairly elementary one to have but a nPOV type development might be fun at least.

    • Expanded G-set to talk about topological groups as well.

    • I’ve started a page category of G sets. I will continue to fill in more details as I have time. Some of the information from ZFA can probably be moved here.

    • added the statement that every abelian group admits a free resolution of length 2, here.

    • The page constant morphism says

      As with Set, any morphism which factors through a terminal object is constant but although this is an “if and only if” in Set it need not be in a general category.

      I think the two are equivalent in any category with a terminal object, as explained here. That is, a morphism kk is constant if and only if the natural transformation k *k_* factors through the terminal object in the presheaf category, so that if the latter is representable then so is the factorization of k *k_*.

      Have I missed something? If not I’ll edit the page.

    • I have added the definition of the incarnation of EM-spectra as symmetric/orthogonal spectra (here)