Usually one writes $X_\bullet$ both for simplicial sets and for semisimplicial sets. But this is potentially confusing if I want to consider maps $X_\bullet\to Y_\bullet^\text{forget}$ in the category of semisimplicial sets where $Y_\bullet$ is a simplicial set. Is there a standard way to notationally distinguish simplicial sets and semisimplicial sets? (so that from the unadorned $X_\bullet$ and $Y_\bullet$ one could tell they live in different categories)
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.
