Αποστολή με SMS: Axiomatic Method and Category Theory