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

Some results about path-cosplit maps #1167

Merged
merged 31 commits into from
Nov 5, 2024
Merged

Some results about path-cosplit maps #1167

merged 31 commits into from
Nov 5, 2024

Commits on Aug 21, 2024

  1. If the domain is k+1-truncated then k-path-cosplittings are unique

    @fredrik-bakke
    fredrik-bakke committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    4579ea7 View commit details
    Browse the repository at this point in the history

Commits on Aug 22, 2024

  1. wip basic theorems about path-cosplit maps

    @fredrik-bakke
    fredrik-bakke committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    76c4136 View commit details
    Browse the repository at this point in the history

  2. wip path-cosplit

    @fredrik-bakke
    fredrik-bakke committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    8495d22 View commit details
    Browse the repository at this point in the history

  3. Functoriality of the action on identifications of functions

    @fredrik-bakke
    fredrik-bakke committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    79405fb View commit details
    Browse the repository at this point in the history

  4. wip

    @fredrik-bakke
    fredrik-bakke committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    1411930 View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2024

  1. wip path cosplit maps

    @fredrik-bakke
    fredrik-bakke committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    c27c21f View commit details
    Browse the repository at this point in the history

  2. is-path-cosplit-succ-coproduct

    @fredrik-bakke
    fredrik-bakke committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    d52ead8 View commit details
    Browse the repository at this point in the history

  3. Add builtin pragmas to natural number multiplication and addition (Un… 

    …iMath#1165)
    @morphismz @fredrik-bakke
    morphismz authored and fredrik-bakke committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    40bdbe9 View commit details
    Browse the repository at this point in the history

  4. Cleanup of finite types (UniMath#1166) 

    So uhh, I felt a little inspired while reading Chris Grossack's blog
post on [Finiteness in Sheaf
Topoi](https://grossack.site/2024/08/19/finiteness-in-sheaf-topoi) this
evening, and decided to have a look around and see if I could add any
small definitions or external links to the library. Then things kind of
derailed when I stumbled upon our file on pi-finite types. Turns out
this file entangled three concepts (pi-finite types, locally finite
types, and types with finite connected components). So I, uh...,
unentangled it! 😬 I hope I'm not stepping on your toes, @EgbertRijke, I
really did not intend to.
    @fredrik-bakke
    fredrik-bakke committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    de4c1bb View commit details
    Browse the repository at this point in the history

  5. fix is-retraction-retraction-left-map-triangle

    @fredrik-bakke
    fredrik-bakke committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    9a8d7a6 View commit details
    Browse the repository at this point in the history

  6. cleanup

    @fredrik-bakke
    fredrik-bakke committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    1465d1f View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' into path-cosplit-maps-2

    @fredrik-bakke
    fredrik-bakke authored Aug 23, 2024
    Configuration menu
    Copy the full SHA
    027fdba View commit details
    Browse the repository at this point in the history

Commits on Aug 24, 2024

  1. small cleanups

    @fredrik-bakke
    fredrik-bakke committed Aug 24, 2024
    Configuration menu
    Copy the full SHA
    a96dba0 View commit details
    Browse the repository at this point in the history

  2. products of path-cosplit maps

    @fredrik-bakke
    fredrik-bakke committed Aug 24, 2024
    Configuration menu
    Copy the full SHA
    f0ca025 View commit details
    Browse the repository at this point in the history

  3. Computing the action on paths of the functorial action of Σ

    @fredrik-bakke
    fredrik-bakke committed Aug 24, 2024
    Configuration menu
    Copy the full SHA
    96ba3d4 View commit details
    Browse the repository at this point in the history

  4. nit

    @fredrik-bakke
    fredrik-bakke committed Aug 24, 2024
    Configuration menu
    Copy the full SHA
    c28c42c View commit details
    Browse the repository at this point in the history

  5. is-path-cosplit-tot

    @fredrik-bakke
    fredrik-bakke committed Aug 24, 2024
    Configuration menu
    Copy the full SHA
    d72f6b7 View commit details
    Browse the repository at this point in the history

  6. is-path-cosplit-tot

    @fredrik-bakke
    fredrik-bakke committed Aug 24, 2024
    Configuration menu
    Copy the full SHA
    771b584 View commit details
    Browse the repository at this point in the history

  7. header wording

    @fredrik-bakke
    fredrik-bakke committed Aug 24, 2024
    Configuration menu
    Copy the full SHA
    e069eb9 View commit details
    Browse the repository at this point in the history

Commits on Aug 26, 2024

  1. fix some text functoriality-action-on-identifications-functions

    @fredrik-bakke
    fredrik-bakke committed Aug 26, 2024
    Configuration menu
    Copy the full SHA
    82511c6 View commit details
    Browse the repository at this point in the history

  2. remove coh- prefix for computations of ap on different functorial… 

    … actions
    @fredrik-bakke
    fredrik-bakke committed Aug 26, 2024
    Configuration menu
    Copy the full SHA
    8007262 View commit details
    Browse the repository at this point in the history

  3. enumerate second-order associators

    @fredrik-bakke
    fredrik-bakke committed Aug 26, 2024
    Configuration menu
    Copy the full SHA
    7e8574c View commit details
    Browse the repository at this point in the history

Commits on Sep 3, 2024

  1. If the domain is k+r+2-truncated, the type of k-path-cosplittings… 

    … is `r`-truncated
    @fredrik-bakke
    fredrik-bakke committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    395770c View commit details
    Browse the repository at this point in the history

  2. Coroducts of path-cosplit maps are path-cosplit

    @fredrik-bakke
    fredrik-bakke committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    dfe8050 View commit details
    Browse the repository at this point in the history

Commits on Sep 22, 2024

  1. Merge branch 'master' into path-cosplit-maps-2

    @fredrik-bakke
    fredrik-bakke authored Sep 22, 2024
    Configuration menu
    Copy the full SHA
    4f98ce3 View commit details
    Browse the repository at this point in the history

  2. Update retractions.lagda.md

    @fredrik-bakke
    fredrik-bakke authored Sep 22, 2024
    Configuration menu
    Copy the full SHA
    77d7c5b View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2024

  1. Merge branch 'master' into path-cosplit-maps-2

    @fredrik-bakke
    fredrik-bakke authored Sep 25, 2024
    Configuration menu
    Copy the full SHA
    fc6405e View commit details
    Browse the repository at this point in the history

Commits on Oct 15, 2024

  1. Merge branch 'master' into path-cosplit-maps-2

    @fredrik-bakke
    fredrik-bakke authored Oct 15, 2024
    Configuration menu
    Copy the full SHA
    3e7d5e1 View commit details
    Browse the repository at this point in the history

Commits on Nov 5, 2024

  1. Merge branch 'master' into path-cosplit-maps-2

    @fredrik-bakke
    fredrik-bakke authored Nov 5, 2024
    Configuration menu
    Copy the full SHA
    edc372a View commit details
    Browse the repository at this point in the history

  2. remove duplicates

    @fredrik-bakke
    fredrik-bakke committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    1c349a1 View commit details
    Browse the repository at this point in the history

  3. Update src/foundation/path-cosplit-maps.lagda.md

    @fredrik-bakke
    fredrik-bakke authored Nov 5, 2024
    Configuration menu
    Copy the full SHA
    b986842 View commit details
    Browse the repository at this point in the history