Keith Peterson wrote:

> The function \$$f_*\$${\$$\text{there's a living cat in my room}\$$} should be the range of temperatures all the cats living in my room can tolerate.

I don't think so. You're putting a universal quantifier on cats - "all cats" - but I think the universal quantifier should go somewhere else.