What I learnt today... 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}\).