also has infinitely many functor categories: for any suitable categories and, there is a third category X/Y of expressions which can combine with expressions of category to form compound expressions of category.