Adjoint equivalences preserve colimits#454

Taneb wants to merge 1 commit intomasteragda/agda-categories:masterfrom

adjoint-equiv-preserves-colimitsagda/agda-categories:adjoint-equiv-preserves-colimitsCopy head branch name to clipboard