No, Eugenio Moggi realized that you can use Monads to represent IO etc. in languages like Haskell, and that was in the paper "Computational lambda-calculus and

No, Eugenio Moggi realized that you can use Monads to represent IO etc. in languages like Haskell, and that was in the paper "Computational lambda-calculus and monads" (1989). The first person I can think of to make a connection between categories and lambda calculus is Joachim Lambek, in his paper "From lambda calculus to Cartesian closed categories" (1980).