“Or maybe s and t represent possible states of some computer system, and Hom(s,t) is the type of processes that, when executed in state s, will result in state t. We definitely want to allow these processes to be irreversible”

Why? Irreversibility is what prevents computers from theoretically not requiring energy for their computation.

I’d rather truly have reversible computation ;)