A mathematical space representing probability distributions over discrete categories, used for modeling sequences and graphs.