圏論的な普遍構成は色々な場面で使われますが、代表的・典型的な例を幾つか挙げます。普遍構成と普遍性に関する復習もあります。$`\newcommand{\mrm}[1]{ \mathrm{#1} } \newcommand{\In}{\text{ in }} \newcommand{\cat}[1]{\mathcal{#1}} \newcommand{\u}[…