Text this: Toposes, triples, and theories /