nLab (-1)-functor

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