Αποστολή με SMS: Relative category theory and geometric morphisms