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 comma 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 finite 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 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 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).
    • Anel and Catren in their introduction to New Spaces in Physics claim that Lagrangian submanifolds are category-theoretic “points” of a symplectic manifold, morphisms from the trivial symplectic manifold in Weinstein’s symplectic category.

      Is this accurate?

      Anonymous

      diff, v19, current

    • The entry on topological group could stand more work, but I added some stuff on the uniform structure, in particular the proposition that for group homomorphisms f:GHf: G \to H, continuity at a single point guarantees uniform continuity over all of GG. The proof is follow-your-nose, of course.

      What we really need is an entry Haar measure. I’ll get started on that soon.

    • At coverage, I just made the following change: Where the sheaf condition previously read

      X(U) iIX(U i) i,jIX(U i× UU j), X(U) \to \prod_{i\in I} X(U_i) \rightrightarrows \prod_{i,j\in I} X(U_i\times_U U_j),

      it now uses the variable names “jj” and “kk” instead of “ii” and “jj”:

      X(U) iIX(U i) j,kIX(U j× UU k). X(U) \to \prod_{i\in I} X(U_i) \rightrightarrows \prod_{j,k\in I} X(U_j\times_U U_k).

      I’m announcing this almost trivial change because I’d like to invite objections, in which case I’d rollback that change and also would not go on to copy this change to related entries such as sheaf. There are two tiny reasons why I prefer the new variable names:

      • It’s more symmetric. The previous notation unjustly favored “ii”.
      • It’s slightly easier to infer the definition of the two maps. (I had a student who was briefly confused by the original notation.)
    • a category:activity-page for hyperlinking references to a new conference series which we are organizing

      v1, current

    • In discrete fibration I added a new section on the Street’s definition of a discrete fibration from AA to BB, that is the version for spans of internal categories. I do not really understand this added definition, so if somebody has comments or further clarifications…

    • Todd,

      when you see this here and have a minute, would you mind having a look at monoidal category to see if you can remove the query-box discussion there and maybe replace it by some crisp statement?

      Thanks!

    • The filtered limit is typo of filtered colimit

      peter

      diff, v4, current

    • starting a category:reference-entry.

      Just a single item so far, but this entry should incrementally grow as more preprints appear (similar to what we have been doing at Handbook of Quantum Gravity and similar entries).

      I know that a soft deadline for submissions of at least one of the sections is this December, so I am guessing this is planned to appear in 2024.

      v1, current

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

      v1, current

    • throw out scratch notes from a bajillion years ago

      Blake C. Stacey

      diff, v14, current

    • I’ve made a few changes at flat module since I wanted to know what one was and the nLab page simply confused me further. It seemed to be saying that a module over a ring/algebra AA is flat if tensoring with AA is a flat functor. That seemed absurd so I changed it. The observation “everything happens for a reason” was a little curt so once I’d worked out what it meant I expanded it a bit and put in the analogy to bases. It wasn’t clear from the way that it was phrased whether this condition was due to Wraith and Blass or the fact that it can be put in a more general context. Lastly, the last sentence was originally in the same paragraph as the penultimate sentence where it didn’t seem to fit (or was at best ambiguous) and it also claimed that the module could be non-unital which seemed a little odd.

      If an expert could kindly check that I’ve done no lasting damage to the page, I’d be grateful.

    • considerably expanded the entry strict 2-group.

      • Apart from adding an introductory discussion, and expanding the list of examples, in particular by adding that of automorphism 2-groups ...

      • ... I in particular give the detailed translation prescription for how to encode a 2-group by a crossed module at In terms of crossed modules

      This is to eventually serve as a supplement to the discussion at nonabelian group cohomology. So I spent some energy on disentangling the four different (though isomorphic) ways a crossed module gives rise to a 2-group (following my article with David Roberts).

    • Created page, copying material from the one on David Roberts’ web.

      v1, current

    • A bare beginning, will fill in more later.

      v1, current

    • Added a stub for this journal, as a place to link to category theoretic papers published there, which can be difficult to find for those unfamiliar with Gallica.

      v1, current

    • I edited

      to make it clear that this tensor product only works for finite abelian categories, which are what we get from looking at finite-dimensional representations of finite-dimensional associative algebras. It’s all very finite… and over fields, too, at least in the treatment by Pavel Etingof, Shlomo Gelaki, Dmitri Nikshych, Victor Ostrik, which is all I have access to now. It would be nice to see this kind of thing done more generally. The slides by Ignacio López Franco, linked on this page, are a hint of how to do it.

    • just a bare minimum to make the link work

      v1, current

    • a minimum, just for completeness and to make broken links work

      v1, current

    • a brief table of entries related to nn-spheres, to be !include-ed into related entries, for ease of hyperlinking

      v1, current

    • for completeness, and to make some broken links work

      v1, current

    • expanded on metrization theorems, added section “Related concepts”.

      diff, v2, current

    • 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.

    • at vector bundle I have spelled out the proof that for XX paracompact Hausdorff then the restrictions of vector bundles over X×[0,1]X \times [0,1] to X×{0}X \times \{0\} and X×{1}X \times \{1\} are isomorphic.

      It’s just following Hatcher, but I wanted to give full detail to the argument of what is now this lemma.

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:peopleentry for hyperlinking references

      v1, current

    • I fixed a broken link to Guy Moore’s lectures

      diff, v9, current

    • I reorganized linearly distributive category by moving the long block of history down to the bottom, adding an “Idea” section and a description of how **-autonomous categories give rise to linearly distributive ones and linearly distributive ones give rise to polycategories. I also cross-linked the page better with polycategory and star-autonomous category.

    • The article wrote “locally ∞-presentable (∞,1)-category” when I’m sure κ\kappa-presentable was meant.

      diff, v6, 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.

    • Added very explicitely what is a confluent rewriting system.

      diff, v5, current

    • Added reference to the conjectured higher topological topos

      diff, v22, current