Elements in the space are modeled as a function, where the domain is the space and the range are categories of elements
