35757c96d9a0a3f4.tex
1: \begin{abstract}
2: In terms of category theory, the {\it Gromov homotopy principle} for a set valued functor $F$ asserts that the functor $F$ can be induced from a homotopy functor. Similarly, we say that the {\it bordism principle} for an abelian group valued functor $F$ holds if the functor $F$ can be induced from a (co)homology functor. 
3: 
4: We examine the bordism principle in the case of functors given by (co)bordism groups of maps with prescribed singularities. Our main result implies that if a family $\J$ of prescribed singularity types satisfies certain mild conditions, then there exists an infinite loop space $\Omega^{\infty}\B_{\J}$ such that for each smooth manifold $W$ the cobordism group of maps into $W$ with only $\J$-singularities is isomorphic to the group of homotopy classes of maps $[W, \Omega^{\infty}\B_{\J}]$. The spaces $\Omega^{\infty}\B_{\J}$ are relatively simple, which makes explicit computations possible even in the case where the dimension of the source manifold is bigger than the dimension of the target manifold.  
5: 
6: %\subclass{\\ (55N20) Generalized (extraordinary) homology and cohomology %theory\\ (57R45) Singularities of differentiable mappings\\ 
7: % (53C23) Global topological methods (a la Gromov)}
8: \end{abstract}
9: