As a (−1)(-1)-category is simply a truth value, so a (−1)(-1)-functor is simply implication. See also nn-functor.
Created on September 24, 2010 at 19:59:21. See the history of this page for a list of all contributions to it.