effective topos

In the study of iterative theories we use the concept of a strongly locally presentable category. This is an extensive, locally finitely presentable category such that a. hom-sets of finitely presentable objects are finite and b. a strong quitent of a finitely presentable object is finitely pres. I would appreaciate knowing whether the effective topos has all these properties. Thanks, Jiri Adamek xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx alternative e-mail address (in case reply key does not work): J.Adamek@tu-bs.de xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx 10-Jan-2002 22:33:44 -0400,1768;000000000000-00000000