Rename `canonical-coequalizer` to `standard-coequalizer` - Githubissues

UniMath / agda-unimath

The agda-unimath library

https://unimath.github.io/agda-unimath/

MIT License

219 stars 70 forks source link

Rename `canonical-coequalizer` to `standard-coequalizer` #1121

Closed fredrik-bakke closed 5 months ago

fredrik-bakke commented 5 months ago

Makes the naming consistent with every other standard (co)limit.