04/06/25 

The category \(\text{Fun}(J, C_{\ast})\) is isomorphic to the category of elements for the functor \([\ast, -]:\text{Fun}(J, C)\to \text{Set}\).