limit — category theory term