Minimal realizations for finite sets in categorial automata theory Věra Trnková (1975) Commentationes Mathematicae Universitatis Carolinae
More on graphic toposes F. William Lawvere (1991) Cahiers de Topologie et Géométrie Différentielle Catégoriques