quotients and finitary functors