Abstract We consider the class of mathematical programs with orthogonality type constraints. Orthogonality constraints appear by reformulating sparsity constraint via auxiliary binary variables and relaxing them afterwards. For a necessary optimality condition in terms T-stationarity is stated. The justification threefold. First, it allows to capture global structure Morse theory, i. e. deforma...