Eric Elliott

Thank you for your detailed answer.

I surely agree that Functor consists of two parts, you can call them “type lift” a => F(a) and function lift f => map(f) .

Yes, that’s what I was trying to get at. Thanks for describing it so eloquently.

I love your articles and learned a…

That is a morphism from F a to F b.

Yes, that’s true.

A functor is a => F a for any a .

Well, that’s part of it. What you’re describing is the lifting of a value into the functor context. You need to be able to do that to get a value into the functor. A functor is a mapping…

I have never considered myself to be very gifted at math. I am a software developer with a layman’s interest in physics.

According to Einstein:

“I have deep faith that the principle of the universe will be beautiful and simple.”