A formulation of D-institution using functor categories (ArXiv cs.LO Recent Papers, 2026)