-
Notifications
You must be signed in to change notification settings - Fork 60
Pull requests: plt-amy/1lab
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
chore: add page for tracking Borceux progress
#402
opened Jun 30, 2024 by
TOTBWF
Loading…
3 tasks done
chore: add hlevel instance for singletons, simplify
prop!
#374
opened Apr 12, 2024 by
ncfavier
Loading…
Left/Right Vertical Adjoints are (Op)Fibred, Optimize Diagram Fibration
#223
opened May 5, 2023 by
TOTBWF
Loading…
Duskin's Monadicity Theorem
category-theory
For issues/pull requests relating to the Cat.* namespace
enhancement
New feature or request
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.