search

UniMath / agda-unimath

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

Initial and terminal copresheaves #1174

Closed FernandoChu closed 3 weeks ago

FernandoChu commented 3 weeks ago

Adding initial and terminal copresheaves.

fredrik-bakke commented 3 weeks ago

Oh my, it didn't display on my phone that I was a co-author on one of the commits, and it didn't show me the merge commit message before it was merged. Otherwise, I would have removed myself as coauthor. Sorry about that. Luckily this PR wasn't that big, but still.