Just like representations, a corepresentation is reducible if there is a proper subspace invariant under the operations of the corepresentation. If the corepresentation is given by matrices, it is reducible if it is equivalent to a corepresentation with each matrix in block diagonal form.