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 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 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 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 planar 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).
    • added the pointers to the combinatorial proofs of the fiberwise detection of acyclicity of Kan fibrations, currently discussed on the AlgTop list, to the nLab here.

    • Fixed a LaTeX typo in Remark 3.12. I’m not an expert so could someone double-check?

      diff, v141, current

    • I have expanded vertex operator algebra (more references, more items in the Properties-section) in partial support to a TP.SE answer that I posted here

    • I am taking the liberty of creating a category: reference-entry in order to have a way to hyperlink references to our new research center here in NYUAD, which is slowly but surely entering into tangible existence.

      v1, current

    • made some adjustments and changed the page label from “adjective” to “disambiguation”

      diff, v6, current

    • I am removing all redirects for “connective” from this entry, in order to make room for a dedicated entry “n-connective object” which makes room for disambiguation with the notion of connectivity in stable \infty-categories with t-structure.

      diff, v38, current

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

      v1, current

    • added a bunch of further “selected writings”

      diff, v5, current

    • a category:reference-entry for the upcoming book

      v1, current

    • I have polished category of chain complexes a little more and started a section (but unfinished) with discussion of that and how Ch (𝒜)Ch_\bullet(\mathcal{A}) is itself again an abelian category

    • Linked to from https://ncatlab.org/nlab/show/orthogonal+factorization+system and https://ncatlab.org/nlab/show/final+functor

      Todo: add more proofs of this result.

      For some reason the xymatrixes were causing errors so I had to comment them out to submit. Here is an example error:

      An error occurred when running pdflatex on the following diagram. \xymatrix@=5em{e \ar[r]^\gamma \ar[dr]_{\gamma’} & GFc \ar[d]^{Gf} \ & GFc’} The error was: Timed out

      How can I fix this?

      v1, current

    • I strongly disagree with the statement in Grothendieck category that the Grothendieck category is small. The main examples like RMod{}_R Mod are not! What did the writer of that line have in mind ?

    • added pointer, here and in related entries, to

      being one of the early references considering the computation of black hole radiation in terms of thermal field theory on Wick-rotated spacetimes with compact/periodic “Euclidean time”.

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

    • at KLT relations I have expanded the list of references. I added also references for the generalization of these relations that is known these days as “gravity is Yang-Mills squared” or similar (eventually this might want to be a separate entry).

      In this course I also expanded the list of references at quantum gravityAs a perturbative quantum field theory

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

      Anonymous

      v1, current

    • starting something, but just a couple of references so far

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Thomas Holder has been working on Aufhebung. I have edited the formatting a little (added hyperlinks and more Definition-environments, added another subsection header and some more cross-references, cross-linked with duality of opposites).

    • a stub entry, for the moment just to record some references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • starting a dedicated entry for the category of vector bundles with homomorphisms allowed to cover non-trivial base maps (while previously we only had VectBund(B) for fixed base BB).

      For the moment the main point is to record the interesting cartesian- and tensor-monoidal structure (now here)

      v1, current

    • I found it was time to have a general table of contents bundles - contents to be added as a floating table to the relevant entries. So I started one.

    • Created semi-simplicial set, mainly as a repository for some terminological remarks. I would welcome anyone more knowledgeable about the history to correct or improve it!

    • starting a minimum, for the moment just to have a place for recording references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current