# Commit 2024-10-29 13:37 43e571a7

View on Github →feat(CategoryTheory/Limits): the end of a functor (#18082)
In this file, given a functor `F : Jᵒᵖ ⥤ J ⥤ C`

, we define its end `end_ F`

. It is a particular case of multiequalizer. The abbreviation `Wedge`

for the corresponding category of cones is also introduced.