On: Category theory for beginners

[bstamour]

The only thing I can think of that's wrong with Haskell's functors is that they're more specifically endofunctors, or am I missing something else?

[_ezkx → bstamour]

And Hask is arguably not a proper category

[bstamour → _ezkx]

Can you expand on this? I'm genuinely curious.

[T-R → bstamour]

My understanding is that it's not a proper category due to the presence of Bottom - https://wiki.haskell.org/Bottom

> Bottom is a member of any type, even the trivial type () [...] If it were not, the compiler could solve the halting problem and statically determine whether any computation terminated

You can imagine function composition and identity don't work too well on things that never complete.

[bstamour → T-R]

Ah yes, you're right. I always forget about bottom.