Issues
- 2
Colimits in HoTT
#1 opened by andrejbauer - 2
Types of paths in computation rule for paths
#12 opened by andrejbauer - 4
- 1
Colimit via sigma and coequalizers
#11 opened by nmvdw - 14
Explaining the construction
#7 opened by andrejbauer - 3
Getting rid of parameters
#6 opened by andrejbauer - 4
I am confused
#5 opened by andrejbauer - 1
- 1
- 0
- 1