Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
created an entry simplicial object in an (infinity,1)-category and interlinked it a bit. Nothing much there yet, for the moment this is mostly a reminder for me to get back to it later.
added a little proposition from HTT, which I need to point to from over at category object in an (infinity,1)-category.
added to simplicial object in an (infinity,1)-category a section Powering over simplicial sets with some basics.
(The term "powering" is maybe not optimal here. I don't want to say "matching", though. )
for completeness I have added brief paragraphs on filtration by skeleta and on $\infty$-Dold-Kan to simplicial object in an (∞,1)-category
1 to 4 of 4