Category of RestCats and RestFuns
	modified:   RestrictionFunctors.agda