Let \(C\) be a category that has finite limits and let \(x:C\) be an object. Let \({x}^{*}:C\rightarrow C/x\) denote the pullback functor along the morphism from \(x\) to the final object. We define a morphism in \(C/x\)
Let \(C\) be a category that has finite limits and let \(x:C\) be an object. Let \({x}^{*}:C\rightarrow C/x\) denote the pullback functor along the morphism from \(x\) to the final object. We define a morphism in \(C/x\)