In my talk I will sketch a simplicial approach for giving a rigorous meaning to the path integral expressions for the Wilson loop observables of non-Abelian Chern-Simons theory. (The base manifold M is assumed to be of the form M = Sigma x S1).
This approach is based on the so-called "torus gauge fixing procedure" by Blau and Thompson. At the end of my talk I will show that - at least for links of the simplest type - the explicit evaluation of the (rigorously defined) Wilson loop observables leads to the state sum expressions appearing in the "shadow world" approach to Quantum Topology due to Kirillov/Reshetikhin and Turaev.