This question might have an easy answer, but my research is far from the region of topology that makes use of classifying spaces of categories, so I can't find it.


For (possibly infinite) integers $0 \leq k\_1 \leq k\_2 \leq \infty$, define a category $X(k\_1,k\_2)$ as follows. There are objects $S\_n$ for any finite integer $n$ satisfying $k\_1 \leq n \leq k\_2$. The morphisms from $S\_n$ to $S\_m$ are maps $f:\{0,\ldots,n\} \rightarrow \{0,\ldots,m\}$ such that $f(i) < f(j)$ whenever $i < j$.


I remark that for $k\_1=0$ and $k\_2 = \infty$, this is almost the usual category of simplices. The only difference is that we require strict inequality $f(i) < f(j)$ in our morphisms rather than merely inequality $f(i) \leq f(j)$.


The classifying space of the category $X(k\_1,k\_2)$ is clearly $(k\_2-k\_1)$-dimensional. My question is whether or not this classifying space is $(k\_2-k\_1-1)$-connected? I can verify by hand that it is connected if $k\_2-k\_1 \geq 1$ and simply-connected if $k\_2-k\_1 \geq 2$, but my techniques are too ad-hoc to deal with the general case.


Thanks!



Classifying space of variant on category of simplices
Yes. 


Claim 1: $X(k,\infty)$ is contractible. 


Proof: There is a functor $X(k,\infty)\times X(k,\infty)\to X(k,\infty)$ given by laying two ordered sets end to end. It admits a natural map from each of the two projection functors, and this implies that the resulting map of spaces (realizations of nerves) is homotopic to each of the two projections. But when a nonempty space $X$ is such that the two projections $X\times X\to X$ are homotopic then $X$ is contractible.


Claim 2: The relative homology $H\_j(X(k\_1,k\_2+1),X(k\_1,k\_2))$ is trivial for $j\ne k\_2-k\_1+1$.


Proof: Let $P(k\_1,k\_2+1)$ be the poset of subsets of $\lbrace 0,\dots ,k\_2+1\rbrace $ of cardinality at least $k\_1+1$, and let $bP(k\_1,k\_2+1)$ be the subposet of proper subsets. There is a functor $P(k\_1,k\_2+1)\to X(k\_1,k\_2+1)$ inducing an isomorphism of quotients of nerves $P(k\_1,k\_2+1)/bP(k\_1,k\_2+1)\to X(k\_1,k\_2+1)/X(k\_1,k\_2)$. $P(k\_1,k\_2+1)$ is contractible, while $bP(k\_1,k\_2+1)$, being isomorphic to the $(k\_2-k\_1)$-skeleton of a $(k\_2+1)$-simplex, has its reduced homology all in dimension $k\_2-k\_1$. 


Claim 2 implies by induction on $m$ that the relative homology $H\_j(X(k\_1,k\_2+m),X(k\_1,k\_2))$ is trivial for $j\le k\_2-k\_1$. Thus $H\_j(X(k\_1,\infty),X(k\_1,k\_2))$ is trivial for $j\le k\_2-k\_1$. But this is isomorphic to the (reduced) homology $\tilde H\_{j-1}X(k\_1,k\_2)$, by Claim 1.


It follows that $X(k\_1,k\_2)$ has no homology below dimension $k\_2-k\_1$. Since you say you have checked that it is also $1$-connected (if $k\_2-k\_1\ge 2$), this makes it $(k\_2-k\_1-1)$-connected.


EDIT More simply: The inclusion map $X(k\_1,k\_2-1)\to X(k\_1,k\_2)$ is homotopic to a constant because it admits a natural map from a constant map. Therefore the cofiber $X(k\_1,k\_2)/X(k\_1,k\_2-1)$ is homotopy equivalent to $\Sigma X(k\_1,k\_2-1)\vee X(k\_1,k\_2)$. And this cofiber is isomorphic to a wedge of $(k\_2-k\_1)$-dimensional spheres, by the proof of Claim 2. So up to homotopy $X(k\_1,k\_2)$ is a retract of a wedge of such spheres. I suppose you could also figure out the rank of $\tilde H\_{k\_2-k\_1}X(k\_1,k\_2)$ by this method, by induction on $k\_2$.


