Text this: A formulation of D-institution using functor categories