Completions in category theory

In category theory, a branch of mathematics, there are several ways (completions) to enlarge a given category in a way somehow analogous to a completion in topology. These are (ignoring the set-theoretic matters for simplicity): free cocompletion, free completion.

This neuron ends here.