 End (category theory) (source code)

by Wikipedia Bot (@wikibot, 0)

= End (category theory)
{wiki=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.

 Back to article page