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 definitions 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 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).
    • Unfortunately, I need to discuss with you another terminological problem. I am lightly doing a circle of entries related to combinatorial aspects of representation theory. I stumbled accross permutation representation entry. It says that the permutation representation is the representation in category Set. Well, nice but not that standard among representation theorists themselves. Over there one takes such a thing – representation by permutations of a finite group G on a set X, and looks what happens in the vector space of functions into a field K. As we know, for a group element g the definition is, (gf)(x)=f(g1x), for f:XK is the way to induce a representation on the function space KX. The latter representation is called the permutation representation in the standard representation theory books like in

      • Claudio Procesi, Lie groups, an approach through invariants and representations, Universitext, Springer 2006, gBooks

      I know what to do approximately, we should probably keep both notions in the entry (and be careful when refering to this page – do we mean representation by permutations, what is current content or permutation representation in the rep. theory on vector spaces sense). But maybe people (Todd?) have some experience with this terminology.

      Edit: new (related) entries for Claudio Procesi and Arun Ram.

    • Added:

      Terminology

      There are two inequivalent definitions of Fréchet spaces found in the literature. The original definition due to Stefan Banach defines Fréchet spaces as metrizable complete topological vector spaces.

      Later Bourbaki (Topological vector spaces, Section II.4.1) added the condition of local convexity. However, many authors continue to use the original definition due to Banach.

      The term “F-space” can refer to either of these definitions, although in the modern literature it is more commonly used to refer to the non-locally convex notion.

      The nLab uses “F-space” to refer to the non-locally convex notion and “Fréchet space” to refer to the locally convex notion.

      diff, v9, current

    • a bare minimum, for the moment mainly in order to record some references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • I have added an observation (here) that complex Hermitian inner product spaces may be regarded as (/2)-modules of the form * in the topos of /2-sets.

      diff, v6, current

    • Added to Dedekind cut a short remark on the ¬¬-stability of membership in the lower resp. the upper set of a Dedekind cut.

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

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • I have added some accompanying text to the list of links at monad (disambiguation).

      One question: in the entry Gottfried Leibniz it is claimed that the term “monad” for a functor on a category with monoid structure also follows Leibniz’s notion of monads. Is this really so? What’s a reference for this claim?

      I am asking because I don’t see how the notion of monoid in the endomorphisms of a category would be related to what Leibniz was talking about. What’s the idea, if there is one?

    • Added more references to arguments involving Galois descent.

      diff, v6, 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

    • brief category:people-entry for hyperlinking references

      v1, current

    • a bare list of references on arguments

      1. (by Connes) that Heisenberg’s original derivation of “matrix mechanics” and

      2. more generally (by Ibort et al.) that Schwinger’s less known “algebra of selective measurements”

      are both best understood, in modern language, as groupoid convolution algebras,

      to be !include-ed into relevant entries (such as quantum observables and groupoid algebra), for ease of synchronizing

      v1, current

    • a stub entry, for the moment just to make a requested link work at Hilbert’s Theorem 90

      v1, current

    • brief category:people-entry for hyperlinkingbl references

      v1, current

    • just the other day I was searching for good references on “asymptotic symmetries”, not finding much. But today appears the useful

      and so I am starting an entry hereby

      v1, current

    • starting page on global propositional resizing

      Anonymouse

      v1, current

    • starting page on local propositional resizing

      Anonymouse

      v1, current

    • added at Grothendieck universe at References a pointer to the proof that these are sets of κ-small sets for inaccessible κ. (also at inaccessible cardinal)

    • Together with my PhD students, I have been thinking a lot recently about the appropriate notion of a module over a C^∞-ring, i.e., something with better properties than Beck modules, which boil down to modules over the underlying real algebra in this case.

      We stumbled upon the article C-infinity module (schreiber).

      It says: “a C-infty algebra A is a copresheaf AQuantities=CoPrSh(CartesianSpaces) which becomes a copresheaf with values in algebras when restricted along FinSetCartesianSpaces,”

      Why are we restricting to FinSet here? The underlying commutative real algebra is extracted by restricting to the Lawvere theory of commutative real algebras, i.e., CartesianSpaces_Poly, the subcategory of cartesian spaces and polynomial maps. Restricting to FinSet^op (as opposed to FinSet) extracts the underlying set only. It is unclear what is being meant by restricting along FinSet→CartesianSpaces, since the latter functor does not preserve finite products, so restricting along it does not produce a functor between categories of algebras over Lawvere theories.

    • brief category:peopleentry for hyperlinking references

      v1, current

    • Switch commuting reasoning to use an implication for clarity.

      diff, v19, current

    • a bare minimum, for the moment just to make the link work

      v1, current

    • some minimum, for the moment mostly to record this item:

      • Edna K. Grossman: On the residual finiteness of certain mapping class groups, J. London Math. Soc. s2-9 1 (1974) 160–164 [doi;10.1112/jlms/s2-9.1.160]

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Added a link to the retyped version of SGA 4 1/2.

      diff, v15, current

    • Added to T-duality a section with the discussion of the usual path-integral heuristics for why the two sigma-models on T-dual backgrounds yield equivalent quantum field theories.

    • starting page on apartness rings

      Anonymouse

      v1, current

    • splitting this off from su(2)-anyons: Copied much of the material over, but also added a few more sentences.

      For the moment this entry is a cautionary tale about confirmation bias more than an entry about physics.

      v1, current

    • Just noticed that we have a duplicate page Jon Sterling.

      I have now moved the (little but relevant) content (including redirects) from there to here.

      Unfortunately, the page rename mechanism seems to be broken until further notice, therefore I am hesitant to clear the page Jon Sterling completely, for the time being.

      diff, v3, current