As a 00-category is simply a set, a 00-functor is simply a function. See also nn-functor.
Last revised on November 2, 2025 at 21:42:48. See the history of this page for a list of all contributions to it.