Invia SMS: First order categorial logic: model-theoretical methods in theory of topoi and related categories