Conversation

I'll grant you that "X is connected" should probably mean "the 0-truncation of X = the (-2)-truncation of X", so empty things are ruled out. But I think the notion "the 0-truncation of X = the (-1)-truncation of X" ought to have its own name too. "Connected-if-inhabited"?
1
2