1: \begin{abstract}

2: \addcontentsline{toc}{chapter}{Abstract}

3: This paper gives a definition of an extended topological quantum

4: field theory (TQFT) as a weak 2-functor $Z: \nCob \ra \iiV$, by

5: analogy with the description of a TQFT as a functor $Z: \nCobi \ra

6: \V$.  We also show how to obtain such a theory from any finite group

7: $G$.  This theory is related to a topological gauge theory, the

8: Dijkgraaf-Witten model.  To give this definition rigorously, we first

9: define a bicategory of cobordisms between cobordisms.  We also give

10: some explicit description of a higher-categorical version of $\V$,

11: denoted $\iiV$, a bicategory of \textit{2-vector spaces}.  Along the

12: way, we prove several results showing how to construct 2-vector spaces

13: of \textit{$\V$-valued presheaves} on certain kinds of groupoids.  In

14: particular, we use the case when these are groupoids whose objects are

15: connections, and whose morphisms are gauge transformations, on the

16: manifolds on which the extended TQFT is to be defined.  On cobordisms

17: between these manifolds, we show how a construction of ``pullback and

18: pushforward'' of presheaves gives both the morphisms and 2-morphisms

19: in $\iiV$ for the extended TQFT, and that these satisfy the axioms for

20: a weak 2-functor.  Finally, we discuss the motivation for this

21: research in terms of Quantum Gravity.  If the results can be extended

22: from a finite group $G$ to a Lie group, then for some choices of $G$

23: this theory will recover an existing theory of Euclidean quantum gravity

24: in 3 dimensions.  We suggest extensions of these ideas which may be

25: useful to further this connection and apply it in higher dimensions.

26: \end{abstract}

27: