search

UniMath / agda-unimath

The agda-unimath library
https://unimath.github.io/agda-unimath/
MIT License
219 stars 70 forks source link

Some definitions about precategories #1172

Closed FernandoChu closed 3 weeks ago

FernandoChu commented 4 weeks ago

Some more stuff about precategories.