Skip to content

overcone

Today it means: A morphism from a diagonal overfunctor to the base category of the overcategory. Full definition →

Ask AI about its historyChatGPT Claude Perplexity Google AI Grok

The story

From over- + cone.

Etymology from Wiktionary, CC BY-SA 4.0.