Contextualizebeta

cocompletion

noun

Etymology

From co- + completion.

  1. borrowed from completio
  2. prefixed as cocompletion — “co + completion”

Definitions

  1. A full embedding whose image is a cocomplete category and for which every functor with a…

    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.

The neighborhood

Vish — recursive loop

No curated loop yet for cocompletion. Loops are being traced one word at a time while the ingestion pipeline matures.

sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA