Seol mar théacs é seo: First order categorial logic: model-theoretical methods in theory of topoi and related categories