The fiber of functors between categories of algebras

We investigate the fiber of a functor image between sketchable categories of algebras over an object image from two points of view: characterizing its classifying space as a universal image-space; and parametrizing its objects in cohomological terms.