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

feat(category_theory/limits): equivalences create limits #1175

Merged
merged 14 commits into from
Jul 5, 2019
Merged

feat(category_theory/limits): equivalences create limits #1175

merged 14 commits into from
Jul 5, 2019

Commits on Jul 3, 2019

  1. feat(category_theory/limits): equivalences create limits

    @semorrison
    semorrison committed Jul 3, 2019
    Configuration menu
    Copy the full SHA
    d0c44cc View commit details
    Browse the repository at this point in the history

  2. equivalence lemma

    @semorrison
    semorrison committed Jul 3, 2019
    Configuration menu
    Copy the full SHA
    1d141d6 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into has_limit_comp_equivalence

    @semorrison
    semorrison committed Jul 3, 2019
    Configuration menu
    Copy the full SHA
    80ad2b7 View commit details
    Browse the repository at this point in the history

Commits on Jul 4, 2019

  1. add @[simp]

    @semorrison
    semorrison committed Jul 4, 2019
    Configuration menu
    Copy the full SHA
    b16a7ec View commit details
    Browse the repository at this point in the history

  2. Merge branch 'has_limit_comp_equivalence' of github.com:leanprover-co… 

    …mmunity/mathlib into has_limit_comp_equivalence
    @semorrison
    semorrison committed Jul 4, 2019
    Configuration menu
    Copy the full SHA
    a979040 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into has_limit_comp_equivalence

    @semorrison
    semorrison committed Jul 4, 2019
    Configuration menu
    Copy the full SHA
    d4fe53f View commit details
    Browse the repository at this point in the history

  4. use right_adjoint_preserves_limits

    @semorrison
    semorrison committed Jul 4, 2019
    Configuration menu
    Copy the full SHA
    3f30792 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into has_limit_comp_equivalence

    @semorrison
    semorrison committed Jul 4, 2019
    Configuration menu
    Copy the full SHA
    e4f6130 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into has_limit_comp_equivalence

    @jcommelin
    jcommelin committed Jul 4, 2019
    Configuration menu
    Copy the full SHA
    c5337a0 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' into has_limit_comp_equivalence

    @semorrison
    semorrison committed Jul 4, 2019
    Configuration menu
    Copy the full SHA
    a65dd63 View commit details
    Browse the repository at this point in the history

  8. undo weird changes in topology files

    @semorrison
    semorrison committed Jul 4, 2019
    Configuration menu
    Copy the full SHA
    2a97cef View commit details
    Browse the repository at this point in the history

Commits on Jul 5, 2019

  1. merge

    @semorrison
    semorrison committed Jul 5, 2019
    Configuration menu
    Copy the full SHA
    4849ac4 View commit details
    Browse the repository at this point in the history

  2. formatting

    @semorrison
    semorrison committed Jul 5, 2019
    Configuration menu
    Copy the full SHA
    71c6802 View commit details
    Browse the repository at this point in the history

  3. do colimits too

    @semorrison
    semorrison committed Jul 5, 2019
    Configuration menu
    Copy the full SHA
    67c3542 View commit details
    Browse the repository at this point in the history