Category theory is used as a generalized theory that focuses on the structure of objects more than the morphism between them. Institution theory that depends heavily on category theory was invented by Goguen to give a heterogenous semantic for a different formal language. Since that institution is well used in defining algebraic semantic for logic. in addition to that institution modelling languge, formal language are proved too to form institution presentation.