#simplicialsets — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #simplicialsets, aggregated by home.social.
-
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?