Rosen's no-go theorem for regular categories