search

agda / agda-categories

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

Update Extensive.agda #384

Closed sergey-goncharov closed 1 year ago

sergey-goncharov commented 1 year ago

added pullback-of-cp-is-cp' to Categories.Category.Extensive; cleaned up the file a bit