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) Category Theory: Sections of displayed categories, Free Category 3.0 and UMPs are Props #1149

Merged
merged 9 commits into from
Sep 10, 2024
Merged

(Displayed) Category Theory: Sections of displayed categories, Free Category 3.0 and UMPs are Props #1149

merged 9 commits into from
Sep 10, 2024

Commits on Aug 23, 2024

  1. univalence of the cat of elements, universal props on univalent cats … 

    …are Props
    @maxsnew
    maxsnew committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    5ca9f66 View commit details
    Browse the repository at this point in the history

  2. facts about composition of functors + whiskering of isomorphisms

    @maxsnew
    maxsnew committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    aac5db0 View commit details
    Browse the repository at this point in the history

Commits on Aug 26, 2024

  1. Sections of displayed categories

    @maxsnew
    maxsnew committed Aug 26, 2024
    Configuration menu
    Copy the full SHA
    8ce538c View commit details
    Browse the repository at this point in the history

  2. displayed category of Paths between objects

    @maxsnew
    maxsnew committed Aug 26, 2024
    Configuration menu
    Copy the full SHA
    7a2eb12 View commit details
    Browse the repository at this point in the history

Commits on Aug 27, 2024

  1. Yet another free category

    @maxsnew
    maxsnew committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    c78970f View commit details
    Browse the repository at this point in the history

  2. fix some broken imports

    @maxsnew
    maxsnew committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    e5f3446 View commit details
    Browse the repository at this point in the history

Commits on Sep 10, 2024

  1. explain the reason for reindS' vs reindS

    @maxsnew
    maxsnew committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    a376663 View commit details
    Browse the repository at this point in the history

  2. uncomment definition of Refl

    @maxsnew
    maxsnew committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    6c10ddc View commit details
    Browse the repository at this point in the history

  3. add Displayed.Section

    @maxsnew
    maxsnew committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    d2ddec2 View commit details
    Browse the repository at this point in the history