A unified study of existence theorems in topologically based settings and applications in optimization. (2nd September 2022)