cocompletion

English dictionary entry

Meanings

noun
  1. 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.

Word forms

cocompletion cocompletions

Etymology

From co- + completion.

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.