Is Hask locally small?

Question

Is the category Hask of haskell objects an example of a locally small category?

http://ncatlab.org/nlab/show/locally+small+category

Maybe not.. hask as cpo htt

Answer 1

Hask objects are Haskell types which are countably infinite. Hask arrows are Haskell functions which are also countably infinite. Therefore Hask is not only locally small, Hask is small.

card(ob(Hask))=card(hom(Hask))=card(N)

More details about Hask here:

http://yannesposito.com/Scratch/en/blog/Category-Theory-Presentation/