If kitty is given his own space and lots of kindness, he will be just fine.
I know it's a tough time to be welcoming him in, but cats are very adaptable.
Sounds like a great solution to the mouse problem, too.
We did the same thing when mice moved in to our drafty old house (not 1780s, more like 1930s!

)
Good luck with puss!