#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?
-
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?
-
I realise that I accidentally deleted my link to the week before last week's #blog also: https://updatedscholar.blogspot.com/2023/01/discussing-simplicial-model-of.html #HoTT #TypeTheory #SimplicialSets
-
I realise that I accidentally deleted my link to the week before last week's #blog also: https://updatedscholar.blogspot.com/2023/01/discussing-simplicial-model-of.html #HoTT #TypeTheory #SimplicialSets