In particular we have the notion of a PCTP over \(M\)  in \(s{K}/B\) .
Just as in the case for simplicial sets, such a PCTP
with structure
group \(G\)  can be described in terms of twisting functions. In this context,
a twisting function is a family of maps \(t_n\colon M_n\rightarrow G_{n-1}\)  in \({K}/B\)  satisfying
the identities (\(T\) ) on page 71 of [1]}.
From this data we can form a new simplicial object \(P = M\times ^{t} G\)  in \({K}/B\) , whose object of \(n\) -simplices is
\(P_n = M_n\times _B G_n\) 
