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 bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality education elliptic-cohomology enriched fibration foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity 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 infinity integration integration-theory k-theory lie-theory limit limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monads monoid monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories 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 science 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 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).
    • CommentRowNumber1.
    • CommentAuthorTodd_Trimble
    • CommentTimeApr 14th 2016

    Under definition 1 of salamander lemma, I fixed a mistake in the definition of A A_\Box where there was a direct sum of two submodules, where there needed to be a sum (i.e., join) instead.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeApr 14th 2016

    Thanks for catching this.

    And thanks for looking into writing out a proof of the braid lemma, if I am guessing correctly that this is what you are doing?! :-)

    • CommentRowNumber3.
    • CommentAuthorTodd_Trimble
    • CommentTimeApr 14th 2016

    I hope to be doing that, yes; it may take a little while because I’ve never looked carefully at the salamander lemma – I’ve only had an idea what it was good for.

    • CommentRowNumber4.
    • CommentAuthorTodd_Trimble
    • CommentTimeApr 14th 2016
    • (edited Apr 14th 2016)

    Also in salamander lemma, looking at the zig-zags after remark 3, they look off. The \swarrows should pertain to vertical differentials according to 2. under remark 3, but in the zig-zags below the \swarrows go from X k+1,lX_{k+1,l}_\Box to X k,l^\Box X_{k, l}, i.e., an extramural map corresponding to a horizontal differential X k+1,lX k,lX_{k+1, l} \to X_{k, l}. So I assume the arrows in both zig-zags should be switched to the opposite directions.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeApr 15th 2016
    • (edited Apr 15th 2016)

    Thanks, Todd. Right now I don’t have the leisure to check. I could check later today. But if you looked at it and think it’s a typo, I suppose you should feel free to fix it.

  1. Morever -> Moreover

    Anonymous

    diff, v29, current

  2. add missing “be” in first definition

    Anonymous

    diff, v30, current

  3. Reworded statement of Lemma 2.5 (extramural maps).

    Anonymous

    diff, v31, current

  4. Delete extraneous “all” in last sentence of “far diagonal identifications” paragraph.

    Mark S Davis

    diff, v32, current

  5. Replace “Dually” by “Similarly” in the Salamander Lemma (this is not a “dual” statement in the category-theoretic sense, which context is appropriate here).

    Mark S Davis

    diff, v33, current

  6. Replace \simeq with = in the second statement of 2.10 (extramural isomorphisms) for consistency with the first statement.

    Mark S Davis

    diff, v34, current

  7. hence => that is in #IntraExtramuralIsomorphisms

    Mark S Davis

    diff, v35, current

  8. In the proof of #IntramuralIsos, replace 0 objects in the zigzag diagrams with bullets to represent an “unknown” object, since from the double complexes in the statement, we don’t know that the corresponding objects are actually 0 (and what they are is immaterial to the proof).

    Mark S Davis

    diff, v36, current

  9. Correct superscript vert -> hor in 2nd of fourth pair of isomorphisms in statement for #IntramuralIsos.

    Mark S Davis

    diff, v36, current

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeOct 25th 2020

    Thanks for all your work on this entry!

    Re-reading it now, I made some minor cosmetic edits to the text.

    diff, v37, current

  10. Add some missing primes in the proof that A’^{hor} = 0 in #ShortSharp3x3.

    Mark S Davis

    diff, v38, current

  11. Add braces to correct formatting in previous edit

    Mark S Davis

    diff, v38, current

  12. Change \partial to \delta in the long exact sequence display in the statement of the snake lemma, to match the rest of the statement.

    Mark S Davis

    diff, v39, current

  13. Move double quote at the start of “nxn-lemmas” inside the TeX delimiters to avoid line break after the opening quote.

    Mark S Davis

    diff, v39, current

  14. Another attempt at fixing the quotes and line breaks in Remark 3.2 (why is there no preview mode?)

    Mark S Davis

    diff, v39, current

  15. Take 3 of fixing the quotes and line breaks in Remark 3.2

    Mark S Davis

    diff, v39, current

  16. Giving up on 3.2; reverting to what it was before.

    Mark S Davis

    diff, v39, current

    • CommentRowNumber23.
    • CommentAuthorUrs
    • CommentTimeOct 26th 2020
    • (edited Oct 26th 2020)

    It would be good to have a preview mode, but it needs somebody to go and program it.

    For the time being, one can use the Sandbox for testing/preview purposes.

  17. Replace \oplus with + in proof of #ExtramuralIso (this sum needn’t be direct).

    Mark S Davis

    diff, v40, current

  18. Insert a paragraph at the beginning of the proof of #Sharp3x3 explaining how the diagram can be augmented with coker (B -> B”), which is needed to get the extramural isomorphism from B -> B”.

    Mark S Davis

    diff, v41, current

  19. Fix a few TeX objects from the previous edit.

    Mark S Davis

    diff, v41, current

  20. Correct indices in displayed equation for the isomorphisms between homology groups (these appear to have been adapted from Bergman’s paper but the indexing scheme is different and what is currently there doesn’t match up).

    Mark S Davis

    diff, v42, current

  21. Remove period at the end of the array in the proof of #FourLemma (the period showed up as a superscript period for ν, and anyway that display doesn’t end a sentence).

    Mark S Davis

    diff, v42, current

  22. Fix a couple of typos in proof of #TheSnakeLemma:

    • ker(f){\Box} => ker(g){\Box} before 2nd display

    • as => at after 2nd display

    Mark S Davis

    diff, v43, current

  23. Fix the end of the chain of isomorphisms giving exactness at ker(g) in #TheSnakeLemma by directly using the extramural iso {}^{\Box}Y_1 \equiv 0_{\Box} = 0 (since there’s no context for an intramural iso at Y_1).

    Mark S Davis

    diff, v43, current

  24. Rewrite Remark 3.8 to clarify that one obtains in turn the connecting homomorphism between homology groups leading to the long exact sequence in homology.

    Mark S Davis

    diff, v43, current

  25. Delete an extraneous preposition in Remark 3.8.

    Mark S Davis

    diff, v43, current

  26. In the proof of #TheSnakeLemma, point out that the squares involving ker(l) and coker(r) in the first display commute; also remove the unused arrow labels p and i.

    Mark S Davis

    diff, v44, current

  27. Reword start of last paragraph of proof of #TheSnakeLemma: “to build” => “building”

    Mark S Davis

    diff, v44, current

  28. Delete reference to Jonathan Wise’s paper. The link is broken, and he isn’t posting it at his current web page; further, https://mathoverflow.net/a/7531 suggests the proof is incomplete.

    Mark S Davis

    diff, v45, current

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)