c2ff80b03bcbe741.tex
1: \begin{abstract}	
2: 	We construct a category $\HomCob$ whose objects are {\it \homfin } topological spaces, and whose morphisms are {\it cofibrant cospans}.
3: 	Given a manifold submanifold pair $(M,A)$, we prove that there exists functors into $\HomCob$ from the full subgroupoid of the mapping class groupoid $\mcg{M}{A}$, and from the full subgroupoid of the motion groupoid $\Mot{M}{A}$, whose objects are \homfin{}.
4: 	
5: 	
6: 	We also construct a family of functors $\FG\colon \HomCob\to \Vect$, one for each finite group $G$.
7: 	 These generalise topological quantum field theories previously constructed by Yetter, and an untwisted version of Dijkgraaf-Witten. 
8: 	 Given a space $X$, we prove that $\FG(X)$ can be expressed as the $\C$-vector space with basis natural transformation classes of maps $\{\pi(X,X_0)\to G\} $ for some finite representative set of points $X_0\subset X$, demonstrating that $\FG$ is explicitly calculable.
9: \end{abstract}
10: