Added structure of category theory description