Functorial Concepts of Complexity for Finite Automata
F. William Lawvere · Theory and applications of categories · 2004
For Aurelio, an exacting colleague and a treasured friend since 1972, when he was one of the unfailingly enthusiastic four who traveled weekly from Milan to Perugia for mathematical discussions "fuori programma".