limits in the category of constraints