element

concept in category theory