Etymology

overcategory

O1V4E1R1C3A1T1E1G2O1R1Y4

Today it means: Any functor into a specified base category. Full definition →

Ask AI about its historyChatGPTClaudePerplexityGoogle AIGrok