colimits are unique up to isomorphism - Githubissues

rzk-lang / sHoTT

Formalisations for simplicial HoTT and synthetic ∞-categories.

https://rzk-lang.github.io/sHoTT/

45 stars 12 forks source link

colimits are unique up to isomorphism #125

Closed cesarbm03 closed 1 year ago