UniMath/agda-unimath

Sync up nomenclature between towers and cotowers

VojtechStep opened this issue · 3 comments

fredrik-bakke commented

Does this issue include renaming sequential diagrams to cotowers, or are you settling on sequential diagrams? I want to know as I will likely do this one later today.

VojtechStep commented

I'd rather keep sequential diagrams.

fredrik-bakke commented

Okay, then let's!