Commits

Commit history

1. Commits on Nov 12, 2024

   • chore: fix typo (#441)

     Show description for 2e1684b
     phi16

     authored
     2e1684bView commit details

     Copy full SHA for 2e1684b

     Browse repository at this point
2. Commits on Oct 19, 2024

   • Knaster-Tarski for categories (#436)

     Show description for 6032c6b
     TOTBWF

     authored
     6032c6bView commit details

     Copy full SHA for 6032c6b

     Browse repository at this point
3. Commits on Oct 9, 2024

   • chore: bump agda (#435)

     Show description for dd98275
     plt-amy

     authored
     dd98275View commit details

     Copy full SHA for dd98275

     Browse repository at this point
4. Commits on Oct 3, 2024

   • "Please merge my slides" - normal sentence (#434)

     Show description for 7424e3d
     plt-amy

     authored
     7424e3dView commit details

     Copy full SHA for 7424e3d

     Browse repository at this point
5. Commits on Sep 23, 2024

   • General adjoint functor theorem (#433)

     Show description for fda6e83
     plt-amy

     authored
     fda6e83View commit details

     Copy full SHA for fda6e83

     Browse repository at this point

   • Free categories, categories from generators and relations (#422)

     Show description for 1550189
     TOTBWF

     authored
     1550189View commit details

     Copy full SHA for 1550189

     Browse repository at this point

   • Added (homotopy) Pushouts and Cocones, and some features/examples of said. (#418)

     Show description for 7d43c4b
     

     3 peopleauthored
     7d43c4bView commit details

     Copy full SHA for 7d43c4b

     Browse repository at this point
6. Commits on Sep 18, 2024

   • Solver for equations over ℚ (#431)

     Show description for d195da5
     plt-amy

     authored
     d195da5View commit details

     Copy full SHA for d195da5

     Browse repository at this point

   • parametrised re-exports for display forms (#432)

     plt-amy

     authored
     0ff6b70View commit details

     Copy full SHA for 0ff6b70

     Browse repository at this point
7. Commits on Sep 11, 2024

   • chore: bump agda (#430)

     Show description for 2f0110e
     plt-amy

     authored
     2f0110eView commit details

     Copy full SHA for 2f0110e

     Browse repository at this point
8. Commits on Sep 8, 2024

   • ring localisations and rational numbers (#429)

     Show description for afcf848
     plt-amy

     authored
     afcf848View commit details

     Copy full SHA for afcf848

     Browse repository at this point
9. Commits on Sep 4, 2024

   • Basic group theory (#427)

     Show description for a122947
     ncfavier

     authored
     a122947View commit details

     Copy full SHA for a122947

     Browse repository at this point
10. Commits on Aug 24, 2024

    • fixup type hover (#425)

      Show description for be137c1
      plt-amy

      authored
      be137c1View commit details

      Copy full SHA for be137c1

      Browse repository at this point
11. Commits on Aug 5, 2024

    • wip: prime numbers (#416)

      Show description for 7cc9bf7
      plt-amy

      authored
      7cc9bf7View commit details

      Copy full SHA for 7cc9bf7

      Browse repository at this point
12. Commits on Aug 1, 2024

    • Set-projective types and projective objects (#421)

      Show description for b077f1c
      TOTBWF

      authored
      b077f1cView commit details

      Copy full SHA for b077f1c

      Browse repository at this point

    • chore: misc nonsense (#419)

      ncfavier

      authored
      434dfe2View commit details

      Copy full SHA for 434dfe2

      Browse repository at this point
13. Commits on Jul 26, 2024

    • Separating objects (#413)

      Show description for 1327a06
      TOTBWF

      authored
      1327a06View commit details

      Copy full SHA for 1327a06

      Browse repository at this point

    • chore: add page for tracking Borceux progress (#402)

      Show description for 69aed0e
      TOTBWF

      authored
      69aed0eView commit details

      Copy full SHA for 69aed0e

      Browse repository at this point
14. Commits on Jul 24, 2024

    • Biproducts and semiadditive categories (#415)

      Show description for 8880ed5
      ncfavier

      authored
      8880ed5View commit details

      Copy full SHA for 8880ed5

      Browse repository at this point
15. Commits on Jul 19, 2024

    • Low hanging fruit regarding limits (#410)

      Show description for 40733b6
      TOTBWF

      authored
      40733b6View commit details

      Copy full SHA for 40733b6

      Browse repository at this point

    • chore: update links

      plt-amy

      committed
      417e7ecView commit details

      Copy full SHA for 417e7ec

      Browse repository at this point
16. Commits on Jul 16, 2024

    • Refactor `Const` (#408)

      Show description for 50ea36c
      TOTBWF

      authored
      50ea36cView commit details

      Copy full SHA for 50ea36c

      Browse repository at this point

    • chore: misc improvements (#406)

      ncfavier

      authored
      c7e07f3View commit details

      Copy full SHA for c7e07f3

      Browse repository at this point

    • chore: bump agda (#409)

      Show description for 921a4a5
      plt-amy

      authored
      921a4a5View commit details

      Copy full SHA for 921a4a5

      Browse repository at this point
17. Commits on Jul 3, 2024

    • chore: ignore tex build products

      plt-amy

      committed
      11f6113View commit details

      Copy full SHA for 11f6113

      Browse repository at this point

    • fixup: Show statement of surjection→is-quotient (#404)

      Show description for 8499788
      plt-amy

      authored
      8499788View commit details

      Copy full SHA for 8499788

      Browse repository at this point
18. Commits on Jul 2, 2024

    • fixup: enforce η-long normal forms in Lambda

      plt-amy

      committed
      9061229View commit details

      Copy full SHA for 9061229

      Browse repository at this point
19. Commits on Jul 1, 2024

    • chore: rename FinSet → FinSets

      

      ncfavier

      authored and

      plt-amy

      committed
      d77173aView commit details

      Copy full SHA for d77173a

      Browse repository at this point

    • chore: reorganise Sum, Dec, Invariant

      Show description for b0cb0a8
      

      ncfavier

      authored and

      plt-amy

      committed
      b0cb0a8View commit details

      Copy full SHA for b0cb0a8

      Browse repository at this point

    • defn: FinSets is finitely (co)complete

      

      ncfavier

      authored and

      plt-amy

      committed
      d62b672View commit details

      Copy full SHA for d62b672

      Browse repository at this point

    • Kleisli Categories, Kleisli maps (#403)

      Show description for e296b9d
      TOTBWF

      authored
      e296b9dView commit details

      Copy full SHA for e296b9d

      Browse repository at this point
20. Commits on Jun 24, 2024

    • Universal colimits (#399)

      Show description for 59f76d7
      ncfavier

      authored
      59f76d7View commit details

      Copy full SHA for 59f76d7

      Browse repository at this point
21. Commits on Jun 21, 2024

    • def: macros for creating copattern definitions (#376)

      Show description for 133d244
      TOTBWF

      authored
      133d244View commit details

      Copy full SHA for 133d244

      Browse repository at this point
22. Commits on Jun 20, 2024

    • defn: equivalences over (#398)

      Show description for b423ee4
      ncfavier

      authored
      b423ee4View commit details

      Copy full SHA for b423ee4

      Browse repository at this point

    • Sites and sheaves (#369)

      Show description for 88c2d5d
      plt-amy

      authored
      88c2d5dView commit details

      Copy full SHA for 88c2d5d

      Browse repository at this point