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

WIP Tarski LFP #53

Open
wants to merge 85 commits into
base: master
Choose a base branch
from
Open

WIP Tarski LFP #53

wants to merge 85 commits into from

Commits on Aug 5, 2024

  1. acquire semi/lattices from 1lab

    @clayrat
    clayrat authored and Your Name committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    03bdac8 View commit details
    Browse the repository at this point in the history

  2. whitespace

    @clayrat
    clayrat authored and Your Name committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    46338fa View commit details
    Browse the repository at this point in the history

  3. suplattices and small bases

    @clayrat
    clayrat authored and Your Name committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    42ba32f View commit details
    Browse the repository at this point in the history

  4. add --safe

    @clayrat
    clayrat authored and Your Name committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    c3951ac View commit details
    Browse the repository at this point in the history

  5. WIP Tarski

    @clayrat
    clayrat authored and Your Name committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    1ac31d9 View commit details
    Browse the repository at this point in the history

  6. WIP Tarski

    @clayrat
    clayrat authored and Your Name committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    3831be3 View commit details
    Browse the repository at this point in the history

  7. WIP Tarski

    @clayrat
    clayrat authored and Your Name committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    4448255 View commit details
    Browse the repository at this point in the history

  8. preliminary fix

    Your Name committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    2efac48 View commit details
    Browse the repository at this point in the history

  9. * refactor initial/terminal diagrams for cats and posets 

    * add `=>` instances for posets
    Your Name committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    44ab740 View commit details
    Browse the repository at this point in the history

  10. refactor join reasoning

    Your Name committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    49572b8 View commit details
    Browse the repository at this point in the history

  11. diagrams done

    Your Name committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    ce91e1a View commit details
    Browse the repository at this point in the history

  12. whatever

    Your Name committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    0021d9f View commit details
    Browse the repository at this point in the history

  13. WIP Tarski

    @clayrat
    clayrat authored and Your Name committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    18d27c2 View commit details
    Browse the repository at this point in the history

  14. finish Tarski

    @clayrat
    clayrat authored and Your Name committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    1a5f3ab View commit details
    Browse the repository at this point in the history

  15. split out small presentation

    @clayrat
    clayrat authored and Your Name committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    29b33e5 View commit details
    Browse the repository at this point in the history

  16. simplify

    Your Name committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    21d6075 View commit details
    Browse the repository at this point in the history

  17. ∥-∥₁-is-of-size

    @clayrat
    clayrat authored and Your Name committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    cd1b710 View commit details
    Browse the repository at this point in the history

  18. extra powerset stuff

    @clayrat
    clayrat authored and Your Name committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    fa61d6e View commit details
    Browse the repository at this point in the history

  19. wip

    Your Name committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    b4e2912 View commit details
    Browse the repository at this point in the history

  20. refactor initial/terminal object diagrams for orders and cats

    Your Name committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    c3fc954 View commit details
    Browse the repository at this point in the history

  21. more refactoring

    Your Name committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    65ed6b6 View commit details
    Browse the repository at this point in the history

  22. add fixpoint diagram

    Your Name committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    81d9e41 View commit details
    Browse the repository at this point in the history

  23. refactor tarski to use order infra

    Your Name committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    fd80343 View commit details
    Browse the repository at this point in the history

  24. more diagrams and instances

    Your Name committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    98606f8 View commit details
    Browse the repository at this point in the history

  25. polish diagrams

    Your Name committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    4a3aad7 View commit details
    Browse the repository at this point in the history

  26. whatever

    Your Name committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    4e23b2a View commit details
    Browse the repository at this point in the history

  27. 1lab sync

    Your Name committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    ab240bd View commit details
    Browse the repository at this point in the history

  28. 1lab sync again

    Your Name committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    801032f View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2024

  1. downsets and lowersets

    Your Name committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    1252029 View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2024

  1. size and extensionality interact in a pleasant way

    Your Name committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    4544a3b View commit details
    Browse the repository at this point in the history

  2. wip factor out subsets lattice construction

    Your Name committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    26fbaa4 View commit details
    Browse the repository at this point in the history

  3. pointwise posets preserve diagrams

    Your Name committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    b6bc94c View commit details
    Browse the repository at this point in the history

  4. refactor join semilattices

    Your Name committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    8170cb9 View commit details
    Browse the repository at this point in the history

  5. refactor meet semilattices

    Your Name committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    33d9ab0 View commit details
    Browse the repository at this point in the history

  6. lattices done

    Your Name committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    a83f3dd View commit details
    Browse the repository at this point in the history

  7. tweak size instances

    Your Name committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    f4aedce View commit details
    Browse the repository at this point in the history

  8. suplattices done

    Your Name committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    8537ee4 View commit details
    Browse the repository at this point in the history

  9. fix suplattice morphisms

    Your Name committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    b63e49d View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2024

  1. syntax

    @clayrat
    clayrat committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    93eccc5 View commit details
    Browse the repository at this point in the history

Commits on Aug 12, 2024

  1. Merge branch 'master' into lattices

    @clayrat
    clayrat committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    86758f2 View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2024

  1. sums and products for posets/lubs/glbs

    @clayrat
    clayrat committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    49f9278 View commit details
    Browse the repository at this point in the history

  2. misc

    @clayrat
    clayrat committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    f391688 View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2024

  1. fix lubs/glbs in product posets

    Your Name committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    4f0aefe View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2024

  1. lub transport via monotone equiv

    @clayrat
    clayrat committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    961543f View commit details
    Browse the repository at this point in the history

Commits on Aug 19, 2024

  1. Merge branch 'master' into lattices

    @clayrat
    clayrat committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    b2e6c6d View commit details
    Browse the repository at this point in the history

  2. more product constructions

    @clayrat
    clayrat committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    8f2bcaf View commit details
    Browse the repository at this point in the history

  3. maybe-basis

    @clayrat
    clayrat committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    d41641a View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into lattices

    @clayrat
    clayrat committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    802ad04 View commit details
    Browse the repository at this point in the history

  5. ×-is-of-size

    @clayrat
    clayrat committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    410c0bb View commit details
    Browse the repository at this point in the history

Commits on Aug 20, 2024

  1. fix size instances

    Your Name committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    0ed2b45 View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2024

  1. Merge branch 'master' into lattices

    Your Name committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    2b087bd View commit details
    Browse the repository at this point in the history

  2. manual fix after merge 

    merge commits will be disabled
    Your Name committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    bd31660 View commit details
    Browse the repository at this point in the history

  3. more basis constructions

    @clayrat
    clayrat committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    3867dc4 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into lattices

    Your Name committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    e544836 View commit details
    Browse the repository at this point in the history

  5. fix ws

    Your Name committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    f5f2edd View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into lattices

    Your Name committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    04bffd2 View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2024

  1. Merge branch 'master' into lattices

    Your Name committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    6e5d32c View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into lattices

    Your Name committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    acfb173 View commit details
    Browse the repository at this point in the history

  3. basis + surjection

    @clayrat
    clayrat committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    32f3763 View commit details
    Browse the repository at this point in the history

  4. refactor

    @clayrat
    clayrat committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    9b196da View commit details
    Browse the repository at this point in the history

Commits on Sep 3, 2024

  1. Merge branch 'master' into lattices

    @clayrat
    clayrat committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    853277b View commit details
    Browse the repository at this point in the history

  2. fix

    @clayrat
    clayrat committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    378e532 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into lattices

    Your Name committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    d3e8f15 View commit details
    Browse the repository at this point in the history

Commits on Sep 4, 2024

  1. Merge branch 'master' into lattices

    Your Name committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    ff09d96 View commit details
    Browse the repository at this point in the history

  2. fix

    Your Name committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    40f87b1 View commit details
    Browse the repository at this point in the history

  3. add lattice morphisms + refactor

    Your Name committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    07004fd View commit details
    Browse the repository at this point in the history

  4. simplify, move suplat products

    Your Name committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    a2392e0 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into lattices

    Your Name committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    bfd81c2 View commit details
    Browse the repository at this point in the history

  6. fix basis

    Your Name committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    c891658 View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2024

  1. poset iso helpers

    @clayrat
    clayrat committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    3c106d7 View commit details
    Browse the repository at this point in the history

Commits on Sep 6, 2024

  1. Merge branch 'master' into lattices

    Your Name committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    3985a99 View commit details
    Browse the repository at this point in the history

  2. fix imports

    Your Name committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    4ff4ffa View commit details
    Browse the repository at this point in the history

  3. surj-order-embedding→≅

    @clayrat
    clayrat committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    73e0425 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into lattices

    Your Name committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    e312c75 View commit details
    Browse the repository at this point in the history

  5. simplify order morphisms

    Your Name committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    07def34 View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2024

  1. use more implicits

    @clayrat
    clayrat committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    6a64976 View commit details
    Browse the repository at this point in the history

  2. refactor

    @clayrat
    clayrat committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    eb85196 View commit details
    Browse the repository at this point in the history

  3. refactor

    @clayrat
    clayrat committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    9e833a9 View commit details
    Browse the repository at this point in the history

Commits on Sep 16, 2024

  1. Merge branch 'master' into lattices

    Your Name committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    229b922 View commit details
    Browse the repository at this point in the history

  2. fix

    Your Name committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    08e7c02 View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2024

  1. Merge branch 'master' into lattices

    Your Name committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    fc6b743 View commit details
    Browse the repository at this point in the history

  2. fix

    Your Name committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    3597d35 View commit details
    Browse the repository at this point in the history

  3. small presentation as a record WIP

    Your Name committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    9af1747 View commit details
    Browse the repository at this point in the history

  4. fix imports

    Your Name committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    9d17b10 View commit details
    Browse the repository at this point in the history

Commits on Oct 18, 2024

  1. Merge branch 'master' into lattices

    @clayrat
    clayrat authored Oct 18, 2024
    Configuration menu
    Copy the full SHA
    d27aaf1 View commit details
    Browse the repository at this point in the history