Limit: directed limit

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

limits: tower, 0, directed limit

This data as json