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.