是否所有函数类型都属于 `Hask` 的子类别？

Question

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

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

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

我认为两个答案都是肯定的。但是不知道我说的对不对

Answer 1

设 C 是其对象具有 class O 的任何类别。

如果O'是O的任何子class我们可以定义一个范畴C'以O'为对象，并保留所有态射在 C 中仍然 "make sense"，即在 O' 中有源对象和目标对象。成分和身份相同（限于O'）。

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

您应该通过展开所有定义自行检查此声明。

你说的例子只是为O'挑了一些特例，所以是子类。