Skip to content

Pull requests: samtoth/agda-synthetic-categories

New pull request New
17 Open 132 Closed
17 Open 132 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Phoa's principle for Δ² Synthetic
#262 opened Sep 3, 2026 by fredrik-bakke Collaborator Loading…
Use all cubes separate
#260 opened Sep 3, 2026 by fredrik-bakke Collaborator Loading…
2
Syllepsis
#253 opened Aug 29, 2026 by fredrik-bakke Collaborator Loading…
1
The Eckmann–Hilton argument
#252 opened Aug 28, 2026 by fredrik-bakke Collaborator Loading…
Initial sections and cocartesian fibrations Synthetic.Categories
#247 opened Aug 22, 2026 by samtoth Owner • Draft
ML changelog and other bits documentation Improvements or additions to documentation
#246 opened Aug 22, 2026 by samtoth Owner • Draft
2
9
Improvements to typing wrappers documentation Improvements or additions to documentation
#241 opened Jul 2, 2026 by fredrik-bakke Collaborator • Draft
15
Play with markers
#237 opened Jul 1, 2026 by fredrik-bakke Collaborator • Draft
An algebra homomorphism from the (n+1)-simplex is a homomorphism from the n-simplex into a slice Algebra
#229 opened Jun 30, 2026 by ecavallo Contributor Loading…
7
Δ²-directed univalence and Space is Segal Synthetic.Categories
#225 opened Jun 27, 2026 by samtoth Owner Loading…
6 tasks done
110
Add symmetry to ≤ for lattices Algebra chore
#214 opened Jun 13, 2026 by fredrik-bakke Collaborator • Draft
1
Refactor space and directed univalence
#206 opened Jun 10, 2026 by samtoth Owner • Draft
@fredrik-bakke
Prove ∀i, j : I. i ∧ j = 0 → i = 0 ∨ j = 0 Synthetic
#197 opened Jun 9, 2026 by rwbarton • Draft
@fredrik-bakke
2
Documentation and contributor guidelines
#185 opened Jun 6, 2026 by samtoth Owner • Draft
52
𝑺-celled types Wild
#167 opened May 29, 2026 by fredrik-bakke Collaborator • Draft
3x3 for pullbacks
#101 opened Apr 20, 2026 by samtoth Owner • Draft
1
WIP: On the comparison to book project on higher cats
#83 opened Mar 27, 2026 by samtoth Owner • Draft
6
ProTip! What’s not been updated in a month: updated:<2026-08-04.