closed category

category with an internal hom functor

دسته بندی ها: