nLab (-1)-functor

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.