All pull requests

Pull requests

• Simplify functoriality proofs of right Kan extension using limit projection uniqueness

  #557·dancewithheart opened Oct 26, 2026·

  ·
  4

• Another attempt at internal sections adjoint

  #556·Taneb opened Oct 14, 2026Member·

  ·
  3

• Add factorization structures for morphisms

  #541·t-wissmann opened Jul 23, 2026Contributor·

  ·
  36

• Package monoidal dualization and compact closure

  #540·LionOfJewdah opened Jul 22, 2026·

  ·

• Add instances for rig categories

  #510·ricky136973 opened Mar 11, 2026·

  ·
  19

• Locally Graded Categories

  #458·TOTBWF opened Feb 27, 2025Collaborator·

  ·
  7

• Bring End and Coend properties to parity

  #453·Taneb opened Feb 24, 2025Member·

  ·
  3

• Category and Cartesian instances for polymorphic predicates

  #443·AJChapman opened Dec 3, 2024·

  ·
  7

• clean up comonad morphism

  #424·4e554c4c opened Jun 25, 2024Contributor·

  ·

• Displayed categories

  #382·Taneb opened Aug 2, 2023Member·6 of 9 tasks·

  ·
  30

• Make Rels less strict, add a StrictRels for the previous version

  #365·Taneb opened Dec 20, 2022Member·

  ·
  11

• [draft] Add definition of an adjunction in Bicategory

  #348·Boarders opened Apr 22, 2022Contributor·

  ·
  10

• Create Adjunctions.agda

  #326·tetrapharmakon opened Nov 30, 2021Contributor·

  ·
  14

• FinSetoids is Cartesian

  #292·Taneb opened Jul 4, 2021Member·1 of 2 tasks·

  ·
  7

• [WIP] Monoidal Category Tactic

  #279·TOTBWF opened May 4, 2021Collaborator·

  ·
  46

• [WIP] Preadditive Categories

  #249·TOTBWF opened Feb 22, 2021Collaborator·2 tasks·

  ·
  18