working on the category of elements, oops, part 2