Αποστολή με SMS: Η θεωρία κατηγοριών ως μαθηματική θεωρία των συγκεκριμένων καθολικών