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).
    • I thought this concept deserved at least a stub with definition.

      v1, current

    • added pointer to today’s

      • Domenec Espriu, Alisa Katanaeva, Effects of bulk symmetry breaking on AdS/QCD predictions (arXiv:2001.08723)

      diff, v5, current

    • a stub, for the moment just for satisfying links

      v1, current

    • moved the discussion of the Lie algebra 𝔰𝔲(2)\mathfrak{su}(2) out of the middle of “Properties – General” into its own subsection “Properties – Lie algebra”.

      Will copy this also over to su(2)

      diff, v18, current

    • a stub, for the moment just to satisfy links

      v1, current

    • for ContinuousFunctionsDetectedByNets, the backwards direction had an indirect proof. I added a direct one.

      Anonymous

      diff, v37, current

    • am finally giving this book its own category:reference-entry, for ease of compiling and hyperlinking its contents

      v1, current

    • a stub entry, for the moment just to satisfy links

      v1, current

    • Since we had an unfulfilled link to almost mathematics and someone was good enough to tweet about it, I thought I’d copy it in. No time at present to neaten it up.

      v1, current

    • Added the characterization by real number objects.

      diff, v20, current

    • Added a reference to Turner’s Fire of the Jaguar.

      diff, v6, current

    • another stub to make a link live.

      v1, current

    • created this to give a stub for a link.

      v1, current

    • Clarify relation with Euclidean group, verbally for now.

      diff, v7, current

    • corrected the reference to point to the right publication

      diff, v4, current

    • Added the Stratified Homotopy Invariants, Field Theories, Exodromy, and Duality github.

      diff, v9, current

    • XX a topological space, FF a sheaf of set on XX, pXp\in X, Stalk pp *Stalk_p\dashv p_*, here p *p_* sends a set to its skyscraper.

      Anonymous

      diff, v15, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • starting a bare references-list entry, to be !includeed in the References-sections of relevant entries

      v1, current

    • added to axion a pointer to this recent article:

      • Joseph P. Conlon, M.C. David Marsh, Searching for a 0.1-1 keV Cosmic Axion Background (arXiv:1305.3603)

        Primordial decays of string theory moduli at z10 12z \sim 10^{12} naturally generate a dark radiation Cosmic Axion Background (CAB) with 0.11keV0.1 - 1 keV energies. This CAB can be detected through axion-photon conversion in astrophysical magnetic fields to give quasi-thermal excesses in the extreme ultraviolet and soft X-ray bands. Substantial and observable luminosities may be generated even for axion-photon couplings 10 11GeV 1\ll 10^{-11} GeV^{-1}. We propose that axion-photon conversion may explain the observed excess emission of soft X-rays from galaxy clusters, and may also contribute to the diffuse unresolved cosmic X-ray background. We list a number of correlated predictions of the scenario.

    • An ‘anonymous coward’ has made quite substantial changes to Geometric nerve of a bicategory, which do not seem to me to be quite fair to Jack Duskin’s contribution. Ross Street makes it clear that Jack and he worked together on the start of the orientals project. Orientals are not mentioned in the entry except for the referenced paper. Also the term geometric nerve is the term used by Duskin. If the person who has changed things is concerned about precedence of papers then they should have mentioned Boardman and Vogt, and Cordier, who both provided insights that led to the definition. What do others of you think?

    • created an entry category of being, for completeness.

      A general remark: people often write that, unfortunately or not, Eilenberg-MacLane’s term “category” is not that of, say, Kant. But in fact if read this way here, following Lawvere, then the former is a good formalization of the latter, after all.

    • fixed a typo. nothing mathematical changed.

      Anonymous

      diff, v4, current

    • Beginning stub of a new article on the cotangent complex in derived algebraic geometry. Whereas the existing article focuses on explicit constructions (e.g. via stabilization or via derived functors), the present one approaches the subject from the point of view of derived deformation theory, emphasizing universal properties. Chose not to include as subsection of the existing article because did not want to disrupt the consistent narrative there.

      Jake Bian

      v1, current

    • I did the following to dependent product:

      • rearranged the section outline somewhat

      • added the statement that in type theory xXP x\prod_{x \in X} P_x may be written x:X,Px\forall x : X , P x;

      • added a Properties-section

      • added statement and proof of the relation of dependent product to spaces of sections

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

      v1, current