Path Signature Theory