# What do we mean by contractible for simplicial objects in a category?

EDIT: removed cruft from this question.

Recall that extra degeneracies for an augmented simplicial set $X$ are maps $s_0\colon X_n \to X_{n+1}$ for $n=-1,0,1,2,\ldots$ which satisfy the usual simplicial identities with respect to the existing $d_i$, $s_i$. This definition clearly works for simplicial objects in pretty much an arbitrary category.

A simplicial set, augmented by $X_{-1} = \ast$, with extra degeneracies is contractible. In fact, given enough structure on an ambient category $C$, one can sensibly talk about homotopy of simplicial objects in $C$ (for example, one can say when $sC$ is a category with cofibrant objects, and has a notion of homotopy of maps). [EDIT: By this I mean there is some sort of model structure around relative to which we can talk about homotopy]

So my question is this: is it reasonable to think of simplicial objects in $C$ with extra degeneracies as being contractible for any category $C$ with terminal object? Certainly, ignoring size issues, we can think of such things as being contractible after we embed them in the category of simplicial sets in $Pre(C)$, if not some smaller (co)completion category.

Secondarily, can I get away with saying a simplicial object with extra degeneracies "is a contractible simplicial object?"

-

I don't have time to wade through terminology, but this seems to be an exercise in avoiding the use of simplicial homotopies, as defined for example in Definition 5.1 on page 12 of Simplicial Objects in Algebraic Topology. These homotopies make sense for simplicial objects in any ambient category $\mathcal{C}$ whatsoever, so that with this notion there is no such thing as a $\mathcal{C}$ "with insufficient structure to support homotopies''. Extra degeneracies give a particularly convenient way to construct just such a homotopy. If you have a terminal object, then you have a trivial map $\epsilon$ from any simplicial object $X$ to the constant simplicial object $\ast$ at the terminal object. A "base point'' is a map $\eta$ from $\ast$ to $X$ and is determined by a map in $\mathcal{C}$ from the terminal object to $X_0$. Then $\epsilon \circ \eta$ is the identity on $\ast$ and we say that $X$ is contractible if $\eta\circ \epsilon$ is homotopic to the identity. That makes sense in any $\mathcal{C}$, and it agrees with the usual notion in the usual examples.