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

Incidence algebras #1221

Merged
merged 10 commits into from
Nov 14, 2024
Merged

Incidence algebras #1221

merged 10 commits into from
Nov 14, 2024

Commits on Nov 11, 2024

  1. beginning incidence algebra construction. to-do: 

    define type of inhabited intervals of 'P',
then the 'R'-module of functions from inhabited intervals to 'R',
then the convolution operation.
    @djspacewhale
    djspacewhale committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    c391aaf View commit details
    Browse the repository at this point in the history

Commits on Nov 13, 2024

  1. completed definition of the family of set-maps 

    from inhabited intervals of 'P' to 'R'. further work
stalled pending elementary development of module theory;
could be done by hand, and I'll define the convolution
before pushing upstream in fact
    @djspacewhale
    djspacewhale committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    aa55c42 View commit details
    Browse the repository at this point in the history

  2. never mind re: convolution, some infrastructure in 

    the commutative algebras library is needed. to-do...
    @djspacewhale
    djspacewhale committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    f4a81af View commit details
    Browse the repository at this point in the history

Commits on Nov 14, 2024

  1. Merge branch 'master' into incidence-algebras

    @djspacewhale
    djspacewhale authored Nov 14, 2024
    Configuration menu
    Copy the full SHA
    e62960e View commit details
    Browse the repository at this point in the history

  2. oops, fixed the definition links...

    @djspacewhale
    djspacewhale committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    1cda791 View commit details
    Browse the repository at this point in the history

  3. added hyperlink to poset intervals, renamed suggested 

    types, moved code for inhabited intervals to intervals file
    @djspacewhale
    djspacewhale committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    3aa92b9 View commit details
    Browse the repository at this point in the history

  4. Update src/order-theory/incidence-algebras.lagda.md 

    fixed typo - 'undderlying' to 'underlying'

Co-authored-by: Egbert Rijke <[email protected]>
    @djspacewhale @EgbertRijke
    djspacewhale and EgbertRijke authored Nov 14, 2024
    Configuration menu
    Copy the full SHA
    054c8ae View commit details
    Browse the repository at this point in the history

  5. Update src/order-theory/interval-subposets.lagda.md 

    moved inhabited-interval definition to new module where (x,y) are not postulated

Co-authored-by: Egbert Rijke <[email protected]>
    @djspacewhale @EgbertRijke
    djspacewhale and EgbertRijke authored Nov 14, 2024
    Configuration menu
    Copy the full SHA
    ca37568 View commit details
    Browse the repository at this point in the history

  6. Update src/order-theory/interval-subposets.lagda.md 

    fixed typo - ```dule _``` to ```module _```

Co-authored-by: Egbert Rijke <[email protected]>
    @djspacewhale @EgbertRijke
    djspacewhale and EgbertRijke authored Nov 14, 2024
    Configuration menu
    Copy the full SHA
    6f46f88 View commit details
    Browse the repository at this point in the history

  7. minor bug fixing after refactor

    @djspacewhale
    djspacewhale committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    3e2331a View commit details
    Browse the repository at this point in the history