categories: effective topos

[Jiri Adamek <adamek@iti.cs.tu-bs.de>]

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