Functions are everywhere! (Steve Awodey)