Colimit: directed colimit

A directed colimit is a kind of colimit. Given a tower, considered as a diagram in some category, a directed colimit is the colimit of that tower in that category.

limits: tower, 1, directed colimit

This data as json