coend

In category theory, the coend often appears as the dual of an end and provides a universal way to "integrate" functors over a category.