Abstract]
We will present a simplified version of the "homotopical" semantics for predicate logic with equality, which has hitherto only been considered in connection with dependent type theory, and we will explain what would ever motivate anyone to consider such a thing.