Language in Action. Categories, Lambdas and Dynamic Logic