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 20:00:40 by Toby Bartels (75.117.110.183)