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

Basic Order Theory #1154

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

Basic Order Theory #1154

wants to merge 36 commits into from

Commits on Sep 7, 2024

  1. Add inverses to monoids/comm monoids

    @LuuBluum
    LuuBluum committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    8aac569 View commit details
    Browse the repository at this point in the history

  2. Add meets and joins to order properties

    @LuuBluum
    LuuBluum committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    3e72b31 View commit details
    Browse the repository at this point in the history

  3. Rewrite isConnected and rename isStronglyConnected

    @LuuBluum
    LuuBluum committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    c276de5 View commit details
    Browse the repository at this point in the history

  4. Decidable total and linear orders imply discrete

    @LuuBluum
    LuuBluum committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    fe42e88 View commit details
    Browse the repository at this point in the history

  5. Remove discrete requirement

    @LuuBluum
    LuuBluum committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    3776d2d View commit details
    Browse the repository at this point in the history

  6. Move decidable->discrete from toset to poset

    @LuuBluum
    LuuBluum committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    12449c3 View commit details
    Browse the repository at this point in the history

  7. Define binary meets/joins and prove properties

    @LuuBluum
    LuuBluum committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    a3bc329 View commit details
    Browse the repository at this point in the history

  8. The negation of a linear order is a poset

    @LuuBluum
    LuuBluum committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    6b55d8b View commit details
    Browse the repository at this point in the history

  9. Define bounds on a poset

    @LuuBluum
    LuuBluum committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    20be82d View commit details
    Browse the repository at this point in the history

  10. Mild refactoring 

    Rename preorder to proset; rename strict poset
to quoset (quasiorder) and add strict orders
as quasiorders with weak linearity
    @LuuBluum
    LuuBluum committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    ec05705 View commit details
    Browse the repository at this point in the history

  11. Remove unnecessary constructors

    @LuuBluum
    LuuBluum committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    fb5049a View commit details
    Browse the repository at this point in the history

  12. Define tight relations

    @LuuBluum
    LuuBluum committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    5efe05b View commit details
    Browse the repository at this point in the history

  13. Reintroduce constructors

    @LuuBluum
    LuuBluum committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    e92681d View commit details
    Browse the repository at this point in the history

  14. Lattice basics

    @LuuBluum
    LuuBluum committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    73a8985 View commit details
    Browse the repository at this point in the history

  15. Distributive lattices

    @LuuBluum
    LuuBluum committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    c8d1ec6 View commit details
    Browse the repository at this point in the history

  16. Replace compEquiv usages

    @LuuBluum
    LuuBluum committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    0b06b65 View commit details
    Browse the repository at this point in the history

  17. Total orders are distributive pseudolattices

    @LuuBluum
    LuuBluum committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    1e85ac9 View commit details
    Browse the repository at this point in the history

  18. Add pseudolattice assumption to make more useful

    @LuuBluum
    LuuBluum committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    b06ac86 View commit details
    Browse the repository at this point in the history

  19. Mappings on posets

    @LuuBluum
    LuuBluum committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    d0e8c48 View commit details
    Browse the repository at this point in the history

  20. Downsets and upsets are preserved

    @LuuBluum
    LuuBluum committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    97c6dec View commit details
    Browse the repository at this point in the history

  21. Defined complete lattices

    @LuuBluum
    LuuBluum committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    9d79f2a View commit details
    Browse the repository at this point in the history

  22. Duals and closures

    @LuuBluum
    LuuBluum committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    0b2d8e0 View commit details
    Browse the repository at this point in the history

  23. Embeddings form a complete lattice

    @LuuBluum
    LuuBluum committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    d9f8038 View commit details
    Browse the repository at this point in the history

  24. Dual closures

    @LuuBluum
    LuuBluum committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    b3d0565 View commit details
    Browse the repository at this point in the history

  25. Bicomplete subsets

    @LuuBluum
    LuuBluum committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    321686a View commit details
    Browse the repository at this point in the history

  26. Poset equivalences

    @LuuBluum
    LuuBluum committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    b11149b View commit details
    Browse the repository at this point in the history

  27. Galois connections

    @LuuBluum
    LuuBluum committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    4b2cafb View commit details
    Browse the repository at this point in the history

  28. Fix typo

    @LuuBluum
    LuuBluum committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    96d8ccc View commit details
    Browse the repository at this point in the history

  29. Fix whitespace

    @LuuBluum
    LuuBluum committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    f60761c View commit details
    Browse the repository at this point in the history

  30. Fix build failures

    @LuuBluum
    LuuBluum committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    4d669c1 View commit details
    Browse the repository at this point in the history

Commits on Sep 8, 2024

  1. Move PosetDownset to where principalDownsets are

    @LuuBluum
    LuuBluum committed Sep 8, 2024
    Configuration menu
    Copy the full SHA
    cab1808 View commit details
    Browse the repository at this point in the history

  2. Fix build failures

    @LuuBluum
    LuuBluum committed Sep 8, 2024
    Configuration menu
    Copy the full SHA
    2b9762c View commit details
    Browse the repository at this point in the history

  3. Split mappings and subsets

    @LuuBluum
    LuuBluum committed Sep 8, 2024
    Configuration menu
    Copy the full SHA
    f72ba2d View commit details
    Browse the repository at this point in the history

  4. Fix whitespace

    @LuuBluum
    LuuBluum committed Sep 8, 2024
    Configuration menu
    Copy the full SHA
    6fa2fa6 View commit details
    Browse the repository at this point in the history

Commits on Sep 9, 2024

  1. Proofs regarding residuals and involutions

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

  2. Cleaner proof

    @LuuBluum
    LuuBluum committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    2a34d83 View commit details
    Browse the repository at this point in the history