Coinductive Invertibility in Higher Categories