MySQL turn JSON_ARRAY of ids into JSON_ARRAY of values [MySQL 8]

Question

I have a JSON_ARRAY of ids in the form of [1,3,...]. Each value represents an id to a value in another table.

Table: pets
id | value
 1 | cat
 2 | dog
 3 | ha