search

agda / agda-categories

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

Prove that Setoids is complete and cocomplete #309

Closed Taneb closed 3 years ago

JacquesCarette commented 3 years ago

Already done: Categories.Category.Instance.Properties.Setoids.Cocomplete and Categories.Category.Instance.Properties.Setoids.Complete.

Taneb commented 3 years ago

Aha, thank you! I was looking for it in Categories. Category.Complete.Instances which doesn't exist