Before I tell you whether or not the cat was there when we returned from our trip, I'm going to tell you about his name.
The Monday after the cat began residing on our porch, I told my coworkers about this. One of them happens to be a huge fan of cats, so he was very interested in the welfare of the cat.
Later that day, for work-related reasons (and if you know my job, email me and I tell you the specifics), the movie Monsters, Inc was brought up. Specifically, Boo (the most adorable cartoon toddler ever) saying "Mike Wazowski!". Boo saying "Mike Wazowski" is actually the noise my phone makes when Jimmy texts me, because we both adore the movie (and the Disney attraction!). The movie was discussed for quite some time.
Before I left that evening, my coworker who loves cats (and Monsters, Inc) suggested I name the cat Mike Wazowski because the enthusiasm Boo has when she says that is the same enthusiasm you get when see such an adorable kitty.
That evening, we started calling him Mike. I liked my coworker's reasoning. Also, the cat was bold, charismatic, and VERY talkative. He is always in a good mood, and is very silly. He's also tiny. On top of that, Mike fits well with the other names...Miles, Fred, Meredith....we tend to name cats people names, not standard pet names.
The name stuck.
When we got home from our trip, Mike Wazowski was waiting for us on the porch.