英和和英

名詞

cocompletion (複数形 cocompletions)

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.
   • Template:invoke:time, Rory B. B. Lucyshyn-Wright, “Enriched algebraic theories and monads for a system of arities”, in arXiv^[1]:

     We show that ${\displaystyle j}$ satisfies this condition if and only if ${\displaystyle j}$ presents ${\displaystyle {\mathcal {V}}}$ as a free cocompletion of ${\displaystyle {\mathcal {J}}}$ with respect to the weights for left Kan extensions along ${\displaystyle j}$, and so we call such systems of arities eleutheric.