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 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 history homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie lie-theory limit 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 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 category:people-entry for hyperlinking references

      v1, current

    • Gave this entry a minimum of an Idea-section and started adding as list of examples

      diff, v6, current

    • Correct the characterization of nerves of groupoids.

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

    • starting something. Nothing to be seen yet here, but I need to save now to have the link.

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • I added some material to Peano arithmetic and Robinson arithmetic. At the latter, I replaced the word “fragment” (which sounds off to my ears – actually Wikipedia talks about thisterm a little) with “weakening”.

      Still some links to be inserted.

    • touched the wording and hyperlinking of the lead-in paragraph

      and added more references

      diff, v10, current

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

    • brief category:people-entry for hyperlinking references

      v1, current

    • starting something – remains a stub for the moment, to be continued

      v1, current

    • I have added references to two (overlapping) papers which list elementary examples of factorization systems associated with the notions of: compact, discrete, connected, and totally disconnected spaces, dense image, induced topology, and separation axioms; finite groups being nilpotent, solvable, torsion-free, p-groups, and prime-to-p groups; injective and projective modules; injective, surjective, and split homomorphisms.

      Anonymous

      diff, v24, current

    • Added a reference to the 2023 Bourke paper An orthogonal approach to algebraic weak factorisation systems.

      diff, v25, current

    • I have added to orthogonal factorization system

      1. in the Definition-section three equivalent explicit formulations of the definition;

      2. in the Properties-section the statement of the cancellability property.

      Wanted to add more (and to add the proofs). But have to quit now. Maybe later.

    • I have been polishing and expanding the entry weak factorization system:

      • gave it an Idea-section;

      • gave the definitions numbered environments and full details;

      • spelled out the proof of the closure properties in full detail.

      Regarding notation: I decided to use as generic name for a weak factorization system:

      • not (L,R)(L,R), as used to be used in the entry (for that’s already my preferred generic choice for pairs of adjoint functors on the nnLab, and for discussion of Quillen adjunctions the notation conventions would clash);

      • not (E,M)(E,M) or the like, since that gives no hint as to what is meant (running into an “EE” in the middle of some discussion, the reader is always at risk of having to browse back to figure out which class is meant);

      • but… (Proj,Inj)(Proj, Inj), for that is nicely indicating what is meant.

    • brief category:people-entry for hyperlinking references

      v1, current

    • After discussion here I have changed the organization of the entry structure and then expanded a bit by adding an Idea-section and a bit more here and there.

      (The previous organization of the entry instead made it look like structure in model theory is a concept on par with that discussed at stuff, structure, property. But instead, the latter axiomatizes the general notion of “structure on something” as such, whereas the former is an example of a structure on something (namely an “LL-structure on a set”). The new version aims to reflect this properly.)

    • Started the page. First question: is homotopy theory a part of algebraic topology?

      v1, current

    • Defined a relevant monad.

      Patrick Nicodemus

      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

    • brief category:people-entry for hyperlinking references

      v1, current

    • Included the condition on sequential (co)limits that the indexing ordinal should be nonzero, which I presume to be the correct convention. (e.g. based on the description they are a special case of filtered colimits)

      diff, v8, current

    • Just mentioned the idea. Will complete later.

      v1, current

    • Page created. Will add more later.

      v1, current

    • created the page for Mealy morphisms and just put in one reference

      Tim Hosgood

      v1, current

    • Corrected a link. Before the word “derivation” linked to the page for derivations in differential algebra.

      Sam Winnick

      diff, v27, current

    • I keep feeling the need to point to an entry named formal logic. None of the existing entries seems to quite deserve to be where this link should be redirecting to. So I created a page formal logic with just some pointers to pages that the reader might expect behind this term.

      Just so that I can use that link for the time being.