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).
    • Brief thoughts. We should probably put this off for now, though, and focus first on getting to the the totality theorem.

      v1, current

    • Proposed statements of the local and global totality theorems, and how they “get us out of the world of presheaves”.

      v1, current

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

      v1, current

    • Something to link to from the completion table.

      v1, current

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

      v1, current

    • Riccardo has updated and expanded his notes on Complex oriented cohomology, generalized orientation and Thom isomorphism and so I have updated the link, here and in related entries.

      diff, v3, current

    • An entry for the syntactic theory of G-torsors.

      v1, current

    • I changed “irreflexive graph” to “directed graph” (aka quiver), as such a presheaf is more commonly known. (Irreflexive to my mind means loops at a vertex are forbidden.)

    • A proposal to start with, to be discussed and amended.

      v1, current

    • Created page on Gabriel Minian to include a link to the publications of the research group in UBA and to his own webpage.

      v1, current

    • Look at leaf of the distribution. The initial entry was almost a request for information back in 2012. Now perhaps the same person has changed the query to a reply but without formatting! At the moment it looks like spam but I think it was an attempt to add something by someone who had not understood how to edit pages and the basic syntax to use.

    • Copied in a definition Todd gave somewhere at tiny object, and tried with too little time to apply it at Cauchy complete category. Mistakenly started entry 'tiny'. How do I get rid of that?
    • [Removed by admin.]

    • I added a description of the opposite of the category of finite distributive lattices to distributive lattice.

    • I gave the concept a separate entry.

      v1, current

    • added to the list of References at poset of commutative subalgebras the following article

      • Jan Hamhalter, Isomorphisms of ordered structures of abelian C *C^\ast-subalgebras of C *C^\ast-algebras, J. Math. Anal. Appl. 383 (2011) 391–399 (journal)

      kindly pointed out to me by Andreas Döring. This generalizes Döring’s result already discussed there from von Neumann algebras to more general C *C^\ast-algebras.

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

      Tim Berberich

      v1, current

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

      Tim Berberich

      v1, current

    • Added an initial (I do not remember what it stands for) to the page name as there were several links with the initial in.

      diff, v2, current

    • I am compiling character tables of various groups. For ease of including into related entries (e.g. for isomorphic groups) I’ll give them their own little entries

      v1, current

    • I have created brief stubs for cyclotomic field and anti-cyclotomic field. No real content there for the moment, just so as to make cross-links work and have a place to record references.

      I suppose what I am really looking for regarding discussion here in another thread is a concept of anti-cyclotomic spectrum.

    • a small entry for a finite group, really an unintended spin-off of compiling the character table of 2O (see discussion there)

      v1, current

    • I am compiling character tables of various groups. For ease of including into related entries (e.g. for isomorphic groups) I’ll give them their own little entries

      v1, current

    • have added to Topos in the section on limits of toposes the description of the pullback of toposes by pushout of their sites of definition.

    • I am compiling character tables of various groups. For ease of including into related entries (e.g. for isomorphic groups) I’ll give them their own little entries

      v1, current

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

      v1, current

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

      v1, current

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

      Matthew Weaver

      v1, current

    • I found myself writing permutation (since I had linked to it) and realised that I could even redirect symmetric group there (which has been linked to for some time).

      Pretty stubby now.

    • I am compiling character tables of various groups. For ease of including into related entries (e.g. for isomorphic groups) I’ll give them their own little entries

      v1, current

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

      v1, current

    • I am compiling character tables of various groups. For ease of including into related entries (e.g. for isomorphic groups) I’ll give them their own little entries

      v1, current

    • Added link to PDF file of Kobayashi’s book on Einstein-Hermitian vector bundles.

      N. Raghavendra

      diff, v4, current

    • added to localic geometric morphism the reference to Johnstone’s factorization-article and the statement that the internal locale corresponding to a localic geometric morphsm f:FEf : F \to E is f *(Ω F)f_*(\Omega_F).

    • Felt sorry for the neglected β\beta-rings, so started something.

      v1, current

    • Added Borger’s nice CT2018 talk.

      After recent chat about Burnside rings and β\beta-rings, presumably the latter are related to some form of generalized symmetry.

      diff, v3, current

    • Stated Bertrand’s postulate and an equivalent formulation of it, and gave a proof of the latter (simple and in the literature, but recent and not very well known I believe) assuming that the Goldbach conjecture holds.

      v1, current

    • Clarified some confusing remarks about separation in different categories.

      diff, v9, current