anafunctor

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

Etymology[edit]

ana- +‎ functor

Noun[edit]

anafunctor (plural anafunctors)

  1. (mathematics) A generalized functor that does not employ the axiom of choice