Describir: Toposes, triples, and theories /