cocompletion

Fetched 2026-10-26 (cache).

Synonyms: completion, incompletion, recompletion, noncompletion

Antonyms: completion, incompletion, recompletion, noncompletion

Related words from Datamuse; suggestions, not definitions.

Noun

1. {{lb|en|maths}} 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]].

Source: Wiktionary · CC BY-SA 4.0 (Wiktionary dump) · cached copy, not a rewrite.