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 homological homological-algebra homology homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory kan 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 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 cross-link with convex function.

      Also hyperlinked various keywords as well as some author names in the list of references.

      diff, v29, current

    • Reorganized and added to the list of types of numbers.

      diff, v6, current

    • A stub with the definition and the wikipedia link.

      v1, current

    • Created a new page on right-connected double categories, with a basic definition and reference. I intend to fill in with more details and examples soon.

      v1, current

    • added definitions of cosine function

      Anonymous

      diff, v8, current

    • added the series definition of a sine function

      Anonymous

      diff, v9, current

    • added a section on defining the exponential function in real algebras.

      Anonymous

      diff, v33, current

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

      diff, v25, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • added (here) the full excerpt form p. 6 of Bishop’s 1967 book, an eloquent account, critique and praise of Brouwer’s Brouwerianism

      diff, v4, current

    • noticed that the entry was missing, so I created a stub for integer

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

      Anonymous

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • I notice that there seemed to be no-where a really explicit semantics explanation of the claim that “univalence implies the existence of quotient types”. I checked with Peter Lumsdaine, and he kindly provided some text which, up to some minor reformatting, I have put into quotient type – Properties – from univalence.

    • Wrote a section on the associated monad at operad, in terms of the framework introduced under the section titled Preparation.

    • I’m making a correction about enriched vs internal categories.

      An algebroid is a category enriched in Vect, according to the nLab page on algebroids. Meanwhile, a category internal to Vect is what Baez and Crans call a “2-vector space”.

      diff, v18, current

    • Generalized the definition at group of units, and added another example (analyzing the group of units of the pp-adic integers).

    • brief category:people-entry for hyperlinking references

      v1, current

    • touched the formatting in congruence, fixed a typo on the cartesian square, added a basic example

    • I created separator, while having the nagging feeling that we already have this entry. Of course after creating it I remembered the page generator.

      So we should merge the stuff. Might this be an occasion to merge away from generator? A set of “generating objects” also means other things than “separating objects” (notably colimit generation). So I’d be inclined to move all material to separator. That would also allow to drop the warning at the beginning of generator.

    • A stub to note some references.

      v1, current

    • starting something (prodded by the comment here), but just a bare minimum for the moment

      v1, current

    • Added the general formula for the inclusion-exclusion principle.

      diff, v3, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • I added to excluded middle a discussion of the constructive proof of double-negated LEM and how it is a sort of “continuation-passing” transform.

    • brief category:people-entry for hyperlinking references

      v1, current

    • the entry braid group said what a braid is, but forgot to say what the braid group is; I added in a sentence, right at the beginning (and fixed some other minor things).

    • Added alternative terminology “local right adjoint” and “strongly cartesian monad” from Berger-Mellies-Weber. They claim the former “has become the more accepted terminology” than “parametric right adjoint”; does anyone know other references to support this? (I think it’s certainly more logical, in that it fits with the general principle of “local” meaning “on slice categories” — not to be confused with the different general principle of “local” meaning “in hom-objects”.)

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

    • I have added pointer to

      Their Prop. 7.2.2 is verbatim the characterization that BCMMS made the definition of “bundle gerbe module” a month and a half later (except that LU focus on open covers instead of more general surjective submersions, but that’s not an actual restriction and in any case not the core of the definition).

      Also added pointer to

      which essentially recovers Lupercio & Uribe’s Def. 7.2.1.

      From the arXiv timestamps I gather that it must have been an intense couple of weeks for all these auhtors in spring 2001. But Lupercio & Uribe came out first, by a fair margin. And in equivariant generality, right away…

      diff, v6, current

    • Added the contents of the canonical isomorphism induced by some non-canonical isomorphism as coming from Lack’s proof.

      diff, v32, current

    • reformatted the entry group a little, expanded the Examples-section a little and then pasted in the group-related “counterexamples” from counterexamples in algebra. Mainly to indicate how I think this latter entry should eventually be used to improve the entries that it refers to.