Lambda the Ultimate

Seeing an interest to linguistics in general, this might be not a complete off-topic for LtU:
Algebraic Semiotics

Semiotics is the study of signs. Our research attempts to make this area more systematic, rigorous, and applicable, as well as to do justice to its social and cognitive foundations. Algebraic semiotics combines aspects of algebraic specification and social semiotics. It has been applied to information visualization, user interface design, the representation of mathematical proofs, multimedia narrative, virtual worlds, and metaphor generation, among other things.

...if you are still not interested, how about this:

Mathematical foundations can be provided by the rather recent and very abstract field called "category theory" (it is not related to the area of psychology of the same name), by noting that sign systems together with semiotic morphisms form a category.

[on edit: oh no, I forgot to check previous art... :( Frank already linked to this page in the past...]