As a (−1)(-1)-category is simply a truth value, a (−1)(-1)-functor is simply implication. See also nn-functor.
Last revised on November 2, 2025 at 21:42:20. See the history of this page for a list of all contributions to it.