Limit (category theory)

In category theory, a **limit** is a fundamental concept that generalizes certain notions from other areas of mathematics, such as the limit of a sequence in analysis or the product of sets. A limit captures the idea of a universal object that represents a certain type of construction associated with a diagram of objects within a category.