2 of morphisms in ?is action representable; for each category \(\mathbb {D}\) with a finite number of morphisms the category \({\mathbb {C}} ^{\mathbb {D}}\) is action representable. Moreover, when in addition ?is locally well-presentable, we show that these conditions are further equivalent to: ?satisfies the amalgamation property for protosplit normal monomorphism and ?satisfies the axiom of normality of unions; for each small category \(\mathbb {D}\) , the category \({\mathbb {C}} ^{\mathbb {D}}\) is action representable. We also show that if ?is homological, action accessible, and normalizers exist in ? then ?is fiberwise algebraically cartesian closed." />