Can you define a 'simplicial set of small simplicial sets' by defining Δⁿ → Simp to be the set of small simplicial sets over Δⁿ, i.e. A → Δⁿ?

Would we then have that the maps B → Simp were in correspondence with the simplicial sets over B, for all B?

#CategoryTheory #SimplicialSets #Homotopy