I was reading about the internal hom functor for simplicial sets, and the construction is very "localized" (nothing to do with localization, just the english word). It seems like there should be a general construction for any presheaf category that would be similar to this. That is, an actual construction, not just the existence of the functor provided by the theorem that every Grothendieck topos is a Lawvere topos and therefore cartesian closed. Does such a construction exist, and if so, can you give a reference?