Skip to content

Pull requests: agda/cubical

New pull request New
33 Open 854 Closed
33 Open 854 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Topological modalities
#1125 opened May 10, 2024 by awswan Loading…
@felixwellen
Properties of the lifting functor
#1123 opened Apr 24, 2024 by mzeuner Loading…
1
Base change, sliced adjoints
#1120 opened Apr 2, 2024 by marcinjangrzybowski Loading…
10
WildCat, Groupoid, Group - Solvers
#1119 opened Mar 24, 2024 by marcinjangrzybowski • Draft
5
Construct 'the' free wild category on a graph
#1117 opened Mar 23, 2024 by felixwellen Loading…
Refactor and extend the path-graph
#1116 opened Mar 23, 2024 by felixwellen Loading…
Displayed Category Constructions
#1108 opened Mar 1, 2024 by stschaef Loading…
@felixwellen
48
Simplify Embedding-into-hLevel→hLevel
#1107 opened Feb 28, 2024 by MatthiasHu Loading…
5
Functor Comprehension
#1106 opened Feb 25, 2024 by stschaef • Draft
51
Define free wild categories
#1105 opened Feb 21, 2024 by felixwellen • Draft
Opaque FreeCommAlgebra
#1089 opened Jan 19, 2024 by MatthiasHu • Draft
Towards schemes of finite presentation without size issues
#1080 opened Nov 17, 2023 by mzeuner • Draft
3
Clear Up Fillers
#1061 opened Sep 21, 2023 by kangrongji Loading…
The General Extend Operation (a.k.a. The Cube-Filling Macro)
#1059 opened Sep 19, 2023 by kangrongji Loading…
1
Experiment with parallel checking using make
#1057 opened Sep 16, 2023 by felixwellen • Draft
5
Additions to the Powerset module
#1056 opened Sep 15, 2023 by rahulc29 • Draft
1
4
Add workflow with Agda master.
#1048 opened Sep 12, 2023 by jpoiret Loading…
1
Experiment with notation for algebra and category theory
#1037 opened Aug 26, 2023 by felixwellen • Draft
Express universal properties of algebraic constructions in terms of representable presheaves
#1036 opened Aug 25, 2023 by MatthiasHu • Draft
Modalities
#1025 opened Jul 14, 2023 by JonasHoefer • Draft
Less eta-equality for algebraic structures
#1002 opened Apr 14, 2023 by felixwellen • Draft
1
Simplify CartesianKanOps/FunExtEquiv using "interpolation" on I
#1001 opened Mar 31, 2023 by pi3js2 Loading…
29
Fast polynomial multiplication for arbitrary rings
#975 opened Jan 25, 2023 by mzeuner • Draft
X is a regular element in the HIT-based polynomials
#927 opened Sep 12, 2022 by felixwellen • Draft
Base change of algebras is functorial
#926 opened Sep 12, 2022 by felixwellen • Draft
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.