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

Created on September 24, 2010 at 19:59:21. See the history of this page for a list of all contributions to it.