The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
Definition
Suppose
are differential manifolds, and
are smooth maps. Then, a smooth cobordism from
to
is the following data:
- A smooth cobordism from
to
i.e. a manifold with boundary
with a diffeomorphism 
- A smooth map
such that the composite of
with the inclusions of
are respectively the maps 
Note that we may sometimes fix the cobordism between
and
, and ask whether we can fill in a function
for the particular cobordism.