Pull requests: UniMath/agda-unimath
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Horizontal fiber condition for pullbacks
foundation
#1142
opened May 21, 2024 by
fredrik-bakke
Loading…
Descent and induction principle of identity types of coequalizers
enhancement
New feature or request
synthetic-homotopy-theory
#1140
opened May 18, 2024 by
VojtechStep
•
Draft
Add interactive library explorer
enhancement
New feature or request
website
#1138
opened May 10, 2024 by
VojtechStep
•
Draft
Refactor coproduct equivalences
foundation
univalent-combinatorics
#1137
opened May 5, 2024 by
morphismz
Loading…
Functoriality of morphisms of arrows
foundation
orthogonal-factorization-systems
#1130
opened Apr 26, 2024 by
fredrik-bakke
•
Draft
Quasiidempotence is not a proposition
foundation
low-priority
#1127
opened Apr 23, 2024 by
fredrik-bakke
Loading…
Simplicial Type Theory
do not merge
simplicial-type-theory
#1118
opened Apr 18, 2024 by
fredrik-bakke
•
Draft
Noncoherent wild (∞,∞)-precategories
wild-category-theory
#1099
opened Mar 25, 2024 by
fredrik-bakke
Loading…
Colocal types
low-priority
orthogonal-factorization-systems
#1089
opened Mar 20, 2024 by
fredrik-bakke
Loading…
Basic properties of the flat modality
low-priority
modal-type-theory
#1078
opened Mar 14, 2024 by
fredrik-bakke
Loading…
18 tasks done
Basic properties of fiberwise orthogonal maps
orthogonal-factorization-systems
#1032
opened Feb 18, 2024 by
fredrik-bakke
•
Draft
Displayed precategories
category-theory
low-priority
#922
opened Nov 16, 2023 by
fredrik-bakke
•
Draft
Refactor graphs with updates from Beyond finite sets
graph-theory
refactoring
#879
opened Oct 22, 2023 by
EgbertRijke
•
Draft
Cleaning up for homotopy groups
group-theory
higher-group-theory
synthetic-homotopy-theory
#836
opened Oct 13, 2023 by
EgbertRijke
•
Draft
Beyond finite sets
category-theory
cleanup
graph-theory
group-theory
refactoring
trees
univalent-combinatorics
#623
opened May 15, 2023 by
EgbertRijke
•
Draft
ProTip!
Follow long discussions with comments:>50.