Did you know that Lawvere did classified work on arms control in the 1960s, back when he was writing his thesis? Did you know that the French government offered him a job in military intelligence? The following paper should be interesting to applied category theorists—for a couple of different reasons: • Bill Lawvere, The category […]
