End (category theory)

In category theory, the concept of an **end** is a particular construction that arises when dealing with functors from one category to another. Specifically, an end is a way to "sum up" or "integrate" the values of a functor over a category, similar to how an integral works in calculus but in a categorical context.