inserted link to informal assoc for functors in formal