UniMath/agda-unimath

Retracts of sequential diagrams

VojtechStep opened this issue · 1 comments

VojtechStep commented

Show that retracts of sequential diagrams induce retracts of sequential colimits.

fredrik-bakke commented

I'll do these later today

  • 👍1