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.
For the purposes of negative thinking, it may be useful to recognise that every ∞-category has a (−1)-morphism, which is the source and target of every object. (In the geometric picture, this comes as the (−1)-simplex of an augmented simplicial set.)
Jonathan Arnoult has pointed out on CT Zulip that this is misleading: it sounds like it implies that every ∞-category is monoidal! And John Baez pointed out that the analogy to augmented simplicial sets fails because in an augmented simplicial set each 0-simplex has only one face, rather than a separate “source” and “target” that are both the same (−1)-simplex.
I suggest we just remove this paragraph and the query box following it, since I can’t think of a way to rephrase it that would be more helpful than unhelpful. But I’m open to other suggestions.
1 to 2 of 2