nLab
(-1)-functor

As a $(-1)$-category is simply a truth value, so a $(-1)$-functor is simply implication. See also $n$-functor.