search

agda / agda-categories

A new Categories library for Agda
https://agda.github.io/agda-categories
MIT License
363 stars 68 forks source link

Restriction Categories #295

Closed JacquesCarette closed 3 years ago

JacquesCarette commented 3 years ago

Closes #289. This includes all the main definitions and basic properties. More can be added later as needed, but this is useful as it is.