Text this: Semigroup theory applied to options