search

UniMath / Schools

77 stars 21 forks source link

Equalizers and just binary products give pullbacks #24

Closed tomdjong closed 5 years ago

tomdjong commented 5 years ago

This also makes the exercise a bit easier, as it requires less unpacking now.