# nLab (-1)-functor

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