You're replying to a comment by rajiv.

rajiv Permalink
January 16, 2012, 18:13

>> fmap id = id

I think the above identity is not quite right. It has different types on either side of the "=" sign. And I think that's a consequence of the fact that a functor maps the identity of the morphisms of one category to that of another - the two identities belong to different categories, not the same as the above identity indicates.

In the case of lists probably the right identity is
map id = [id]. If I check the types for the list identity

map id :: [b] -> [b]
[id] :: [a -> a]

I'm not quite sure if this makes sense, but it feels right. (I'm a Haskell novice.)

And I have no idea how to express this for general functors.

Reply To This Comment

(why do I need your e-mail?)

(Your twitter handle, if you have one.)

Type the word "disk_219": (just to make sure you're a human)

Please preview the comment before submitting to make sure it's OK.