Let \(C\) be a category that has finite limits and let \(x:C\) be an object. Then the pair \(({x}^{*},\mathord {\textnormal {\textsf {d}}}_{x})\) has the following universal property: For any category \(D\) that has finite limits, the functor
Let \(C\) be a category that has finite limits and let \(x:C\) be an object. Then the pair \(({x}^{*},\mathord {\textnormal {\textsf {d}}}_{x})\) has the following universal property: For any category \(D\) that has finite limits, the functor