Cocompletion

From testwiki
Revision as of 23:36, 18 August 2024 by imported>WingerBot (add missing From in English etyms, remove stray spaces and L2R markers (manually assisted))
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

English

Etymology

From Template:Prefix.

Noun

Template:En-noun

  1. Template:Lb A full embedding whose image is a cocomplete category and for which every functor with a cocomplete image has an extension to a cocontinuous functor that is unique up to natural isomorphism.
Retrieved from "https://en.wiktionary.beta.math.wmflabs.org/w/index.php?title=Cocompletion&oldid=1290"