If you have the space and the means I would heartily recommend getting your cat a cat. Pets do get lonely and if he was used to a colony then there’s a good chance this would improve his life. Bonus points if you can get your hands on one of the cats he was loving on at the shelter!