Internal Relations and Exactness - Githubissues

agda / agda-categories

A new Categories library for Agda

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

MIT License

362 stars 68 forks source link

Internal Relations and Exactness #328

Closed sergey-goncharov closed 2 years ago

sergey-goncharov commented 2 years ago

Internal relations (https://ncatlab.org/nlab/show/congruence)
Exact categories (https://ncatlab.org/nlab/show/exact+category)