So we have Category of Hask, where:

* Types are the objects of the category
* Functions are the morphisms from object to object in the category.

Similarly for `Functor` we have:

* a Type constructor as the mapping of objects from one category to another
* `fmap` for the mapping of morphisms from one category to another.

Now, when we write program we basically transform values (not types) and it seems that the Category of Hask doesn't talk about values at all. I tried to fit values in the whole equation and came up with the following observation:

* Each Type is a category itself. Ex: Int is a category of all integers.
* Functions from a value to another value of **same type** are morphism of the category. Eg: `Int -> Int`
* Functions from one value to another value of **different type** are functor for mapping values of one type to another.

Now my question is - Do values even make sense in the Category of Hask (or in general category theory)? If yes then any reference to read about it OR if not, then any reason for that.

I hope the question makes sense :)