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

Displayed precategories #922

Draft
wants to merge 13 commits into
base: master
Choose a base branch
from
Draft

Displayed precategories #922

wants to merge 13 commits into from
+839 −17

Commits on Nov 16, 2023

  1. define displayed precategories

    @fredrik-bakke
    fredrik-bakke committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    c259369 View commit details
    Browse the repository at this point in the history

  2. pre-commit

    @fredrik-bakke
    fredrik-bakke committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    6bbd6d2 View commit details
    Browse the repository at this point in the history

  3. the total precategory of a displayed precategory

    @fredrik-bakke
    fredrik-bakke committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    2db3a8c View commit details
    Browse the repository at this point in the history

Commits on Feb 14, 2024

  1. Merge branch 'master' into displayed-precategory

    @fredrik-bakke
    fredrik-bakke committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    eed1d9d View commit details
    Browse the repository at this point in the history

  2. fix merge conflicts

    @fredrik-bakke
    fredrik-bakke committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    8a474a4 View commit details
    Browse the repository at this point in the history

  3. some edits lying around

    @fredrik-bakke
    fredrik-bakke committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    a8d0990 View commit details
    Browse the repository at this point in the history

  4. better computations dependent identifications

    @fredrik-bakke
    fredrik-bakke committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    0947c03 View commit details
    Browse the repository at this point in the history

  5. some coherences for precategories

    @fredrik-bakke
    fredrik-bakke committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    133d1f1 View commit details
    Browse the repository at this point in the history

  6. wip fibers of a displayed precategory

    @fredrik-bakke
    fredrik-bakke committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    73da8a0 View commit details
    Browse the repository at this point in the history

Commits on Mar 14, 2024

  1. Merge branch 'master' into displayed-precategory

    @fredrik-bakke
    fredrik-bakke committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    4d5485f View commit details
    Browse the repository at this point in the history

  2. add reference and update file

    @fredrik-bakke
    fredrik-bakke committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    a040d61 View commit details
    Browse the repository at this point in the history

Commits on Jun 4, 2024

  1. Merge branch 'master' into displayed-precategory

    @fredrik-bakke
    fredrik-bakke committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    725f1f4 View commit details
    Browse the repository at this point in the history

  2. comment out unfinished proof

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