Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[Merged by Bors] - feat(algebra/homology): definition of quasi_iso #7479

Closed
wants to merge 34 commits into from
Closed

[Merged by Bors] - feat(algebra/homology): definition of quasi_iso #7479

wants to merge 34 commits into from

Commits on May 4, 2021

  1. feat(category_theory/.../images): image.pre_comp_epi_of_epi

    @semorrison
    semorrison committed May 4, 2021
    Configuration menu
    Copy the full SHA
    ce8b14e View commit details
    Browse the repository at this point in the history

  2. feat(category_theory/.../zero): if a zero morphism is a mono, the sou… 

    …rce is zero
    @semorrison
    semorrison committed May 4, 2021
    Configuration menu
    Copy the full SHA
    2ab67aa View commit details
    Browse the repository at this point in the history

  3. add simp lemmas

    @semorrison
    semorrison committed May 4, 2021
    Configuration menu
    Copy the full SHA
    dc8ac57 View commit details
    Browse the repository at this point in the history

  4. feat(category_theory/preadditive): reformulation of mono_of_kernel_zero

    @semorrison
    semorrison committed May 4, 2021
    Configuration menu
    Copy the full SHA
    25a6827 View commit details
    Browse the repository at this point in the history

  5. feat(category_theory/subobject): minor tweaks

    @semorrison
    semorrison committed May 4, 2021
    Configuration menu
    Copy the full SHA
    6fa9bfe View commit details
    Browse the repository at this point in the history

  6. Merge branch 'subobject2' into subobject_limits

    @semorrison
    semorrison committed May 4, 2021
    Configuration menu
    Copy the full SHA
    62850b8 View commit details
    Browse the repository at this point in the history

  7. feat(category_theory/subobjects): more about kernel and image subobjects

    @semorrison
    semorrison committed May 4, 2021
    Configuration menu
    Copy the full SHA
    d6169aa View commit details
    Browse the repository at this point in the history

  8. minor

    @semorrison
    semorrison committed May 4, 2021
    Configuration menu
    Copy the full SHA
    3caf09d View commit details
    Browse the repository at this point in the history

  9. Merge branch 'subobject_limits' into homology_redesign

    @semorrison
    semorrison committed May 4, 2021
    Configuration menu
    Copy the full SHA
    292109b View commit details
    Browse the repository at this point in the history

  10. Merge branch 'subobject2' into subobject_limits

    @semorrison
    semorrison committed May 4, 2021
    Configuration menu
    Copy the full SHA
    79e72a0 View commit details
    Browse the repository at this point in the history

  11. Merge branch 'subobject_limits' into homology_redesign

    @semorrison
    semorrison committed May 4, 2021
    Configuration menu
    Copy the full SHA
    01f2cc4 View commit details
    Browse the repository at this point in the history

  12. Merge branch 'mono_of_kernel_iso_zero' into homology_redesign

    @semorrison
    semorrison committed May 4, 2021
    Configuration menu
    Copy the full SHA
    723796d View commit details
    Browse the repository at this point in the history

  13. Merge branch 'zero' into homology_redesign

    @semorrison
    semorrison committed May 4, 2021
    Configuration menu
    Copy the full SHA
    a4635dc View commit details
    Browse the repository at this point in the history

  14. feat(algebra/homology): redesign of homological complexes

    @semorrison
    semorrison committed May 4, 2021
    Configuration menu
    Copy the full SHA
    b9c853b View commit details
    Browse the repository at this point in the history

  15. oops

    @semorrison
    semorrison committed May 4, 2021
    Configuration menu
    Copy the full SHA
    bc59d44 View commit details
    Browse the repository at this point in the history

  16. feat(algebra/homology): quasi_iso

    @semorrison
    semorrison committed May 4, 2021
    Configuration menu
    Copy the full SHA
    a060a78 View commit details
    Browse the repository at this point in the history

  17. Apply suggestions from code review 

    Co-authored-by: Johan Commelin <johan@commelin.net>
    @semorrison @jcommelin
    semorrison and jcommelin committed May 4, 2021
    Configuration menu
    Copy the full SHA
    683ac43 View commit details
    Browse the repository at this point in the history

Commits on May 5, 2021

  1. lint

    @semorrison
    semorrison committed May 5, 2021
    Configuration menu
    Copy the full SHA
    121b4d6 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'zero' of github.com:leanprover-community/mathlib into zero

    @semorrison
    semorrison committed May 5, 2021
    Configuration menu
    Copy the full SHA
    c7d83b7 View commit details
    Browse the repository at this point in the history

  3. removing a simps that was unnecessary, and resulting in a linter timeout

    @semorrison
    semorrison committed May 5, 2021
    Configuration menu
    Copy the full SHA
    139c457 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'zero' into homology_redesign

    @semorrison
    semorrison committed May 5, 2021
    Configuration menu
    Copy the full SHA
    52f82ac View commit details
    Browse the repository at this point in the history

  5. Merge branch 'subobject_limits' into homology_redesign

    @semorrison
    semorrison committed May 5, 2021
    Configuration menu
    Copy the full SHA
    4932b5c View commit details
    Browse the repository at this point in the history

  6. Merge branch 'homology_redesign' into quasi_iso

    @semorrison
    semorrison committed May 5, 2021
    Configuration menu
    Copy the full SHA
    72f5ae0 View commit details
    Browse the repository at this point in the history

  7. has_zero_object

    @semorrison
    semorrison committed May 5, 2021
    Configuration menu
    Copy the full SHA
    7cfd26a View commit details
    Browse the repository at this point in the history

Commits on May 6, 2021

  1. Merge remote-tracking branch 'origin/master' into subobject_limits

    @semorrison
    semorrison committed May 6, 2021
    Configuration menu
    Copy the full SHA
    678691d View commit details
    Browse the repository at this point in the history

  2. Merge branch 'subobject_limits' into homology_redesign

    @semorrison
    semorrison committed May 6, 2021
    Configuration menu
    Copy the full SHA
    0dda372 View commit details
    Browse the repository at this point in the history

Commits on May 7, 2021

  1. Merge branch 'master' into homology_redesign

    @jcommelin
    jcommelin committed May 7, 2021
    Configuration menu
    Copy the full SHA
    09594ab View commit details
    Browse the repository at this point in the history

Commits on May 10, 2021

  1. process most of the comments

    @jcommelin
    jcommelin committed May 10, 2021
    Configuration menu
    Copy the full SHA
    e757bab View commit details
    Browse the repository at this point in the history

  2. one more

    @jcommelin
    jcommelin committed May 10, 2021
    Configuration menu
    Copy the full SHA
    93bd9c7 View commit details
    Browse the repository at this point in the history

Commits on May 11, 2021

  1. process comments

    @jcommelin
    jcommelin committed May 11, 2021
    Configuration menu
    Copy the full SHA
    9501d73 View commit details
    Browse the repository at this point in the history

  2. add tfae

    @jcommelin
    jcommelin committed May 11, 2021
    Configuration menu
    Copy the full SHA
    9b6df47 View commit details
    Browse the repository at this point in the history

  3. fix comment

    @semorrison
    semorrison committed May 11, 2021
    Configuration menu
    Copy the full SHA
    c8b63e3 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'homology_redesign' into quasi_iso

    @semorrison
    semorrison committed May 11, 2021
    Configuration menu
    Copy the full SHA
    c967e0d View commit details
    Browse the repository at this point in the history

  5. merge

    @semorrison
    semorrison committed May 11, 2021
    Configuration menu
    Copy the full SHA
    c398155 View commit details
    Browse the repository at this point in the history