Extensive categories - Githubissues

agda / agda-categories

A new Categories library for Agda

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

MIT License

367 stars 68 forks source link

Closed sergey-goncharov closed 2 years ago

sergey-goncharov commented 2 years ago

Implementation of extensive categories (https://ncatlab.org/nlab/show/extensive+category)
Proof that setoids are extensive