As an application of the above ideas group extensions are considered, and Schreier theory reinterpreted.
Further developments and applications to TQFTs from state sums are considered.