Naming daughter after dead mother

So I just posted a post if it's a boy and this is for the girl. Baby daddy's mother was named Josefina. I personally really like the name and am considering using it for baby girls first name. He really likes the name Arlet 🤢 and I like Rose (my middle name) and Michelle (my moms name) and Rosemarie (combo of his sisters, who are very dear to him)... Please help!