search

agda / agda-categories

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

Exact #335

Closed sergey-goncharov closed 2 years ago

sergey-goncharov commented 2 years ago

Exactness property of the category of setoids, notion of exactness and auxiliary definitions.