Skip to content

Issues: agda/agda-categories

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

48 Open 103 Closed
48 Open 103 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Unbundling limit-y things
#419 opened May 26, 2024 by 4e554c4c
2
Contribution of lemmas about colimits
#417 opened May 21, 2024 by t-wissmann
1
agda-categories should list compatibility versions on README
#414 opened Apr 4, 2024 by Boarders
1
Big dagger-category to-do list
#401 opened Oct 24, 2023 by Taneb
15 tasks
@Taneb
Yoneda is broken
#396 opened Sep 11, 2023 by tetrapharmakon
6
Trivial solution set for Adjoint functor theorem
#393 opened Sep 3, 2023 by paulh123456
8
ramp up stdlib version?
#371 opened Apr 12, 2023 by HuStmpHrrr
1
14
!-unique₂ takes implicit args in Terminal, whereas it takes explicit ones in Initial
#366 opened Jan 16, 2023 by cxandru
1
Remove Categories.Category.Equivalence
#363 opened Dec 8, 2022 by iwilare
1
Move Categories.Category.Diagram.Span to Categories.Diagram.Span
#357 opened Oct 11, 2022 by Taneb
Pull out adjunction between products and exponentials
#353 opened Jul 27, 2022 by HuStmpHrrr
1
Maybe the Hom version of Adjunction can be fully polymorphic?
#351 opened Jun 7, 2022 by JacquesCarette
@JacquesCarette
1
Naming of fields in CartesianClosed Functor
#344 opened Mar 25, 2022 by JacquesCarette
2
Field names for RegularEpi/RegularMono are nondescriptive
#341 opened Mar 14, 2022 by TOTBWF
6
Suggested improvements for IsPullback
#334 opened Jan 3, 2022 by JacquesCarette
1
Discrepancy of unique of Product and unique of IsPullback
#329 opened Dec 3, 2021 by sergey-goncharov
1
Revisit location of certain canonical instances
#321 opened Nov 19, 2021 by JacquesCarette
Find and clean up unused imports good first issue Good for newcomers help wanted Extra attention is needed
#319 opened Nov 10, 2021 by JacquesCarette
Revisiting Dagger Categories
#311 opened Sep 24, 2021 by JacquesCarette
4
Pseudomonads and their Kleisli bicategories
#310 opened Sep 22, 2021 by masaeedu
2
Create a contributor's guide
#308 opened Aug 26, 2021 by sstucki
2
Create HasBraidedInterchange and HasSymmetricInterchange .
#300 opened Aug 13, 2021 by JacquesCarette
Move all one-lineKelly variants into the module where the original properties are proved?
#299 opened Aug 13, 2021 by JacquesCarette
Multicategory of commutative monoids
#291 opened Jul 2, 2021 by laMudri
@JacquesCarette
Rename Sets to Types ? design meta meta issue question Further information is requested
#286 opened Jun 18, 2021 by JacquesCarette
5
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.