Never an easy thing to do given how much joy they bring into our lives. Hope your cat had a good life OP, and that you have many memories to cherish.
Be sure your other cat(s) get a little extra love and attention, as they too mourn in their own way.