所有函数类型是否都构成“ Hask”的子类别？

Question

In Haskell, all the types form a category named Hask。

函数类型是类型。 所有功能类型是否都构成function swerft_categories($args){ ob_start(); $args = array('hide_empty'=> 1, 'name' => 'B'); $categories = get_categories($args); 的子类别？

所有非功能类型是否都构成Hask的子类别？

我认为两个答案都是肯定的。但是我不知道我是否正确。

Answer 1

让C为其对象具有类O的任何类别。

如果O'是O的任何子类，我们可以定义一个类别C'，以O'作为对象，并将所有的态射保留在C中，仍然“有意义”，即在O'中具有目标对象和目标对象。组成和身份相同（限于O'）。

C'是C的子类别。 （确切地说，是完整子类别。）

您应该通过扩展所有定义来亲自检查此声明。

您提到的示例只是为O'选择了一些特殊情况，因此它们是子类别。