search

agda / cubical

An experimental library for Cubical Agda
https://agda.github.io/cubical/Cubical.README.html
Other
441 stars 134 forks source link

Preorder structure on the category of subobjects #1115

Closed rahulc29 closed 2 months ago

rahulc29 commented 3 months ago

A small PR that will add preorder structure on the category of subobjects.

rahulc29 commented 2 months ago

Hi, would love it if the maintainers could take a look! Happy to add more stuff if this is too small for a PR :D

felixwellen commented 2 months ago

Looks all good to me - thanks for contributing. There is no lower limit for PRs, the smaller the better. -> merging...