Text this: Conditions for a realization functor to commute with finite products