End (category theory)

ウィキペディアから