Ketchup

Can babies have ketchup? It might be a stupid question but I'm curious lol