You know the difference in Scala between val f: A=>B and def f(a:A): B?
I do.
The first one is a point in BA; the second one is an arrow from A to B. Yes, there's an adjunction, so there's a 1-1 correspondence; it's basically a special case of currying.