  We describe a (nonlinear) Fredholm theory for a new class of ambient spaces,
as well as for a certain type of categories. The theory is illustrated by an
application to the category of stable maps.
