Etymology

anafunctor

A1N1A1F4U1N1C3T1O1R1

Today it means: A generalized functor that does not employ the axiom of choice Full definition →

Ask AI about its historyChatGPTClaudePerplexityGoogle AIGrok