search

rzk-lang / sHoTT

Formalisations for simplicial HoTT and synthetic ∞-categories.
https://rzk-lang.github.io/sHoTT/
44 stars 12 forks source link

Limits-colimits-2 #86

Closed cesarbm03 closed 1 year ago

cesarbm03 commented 1 year ago

Definitions suggested by Tashi in #65 added.