Our thesis is that the category Set is the ultimate abstraction of body, and that Set^op, equivalent to the category of complete atomic Boolean algebras (i.e. power sets), which we shall advocate thinking of as antisets, is dually the ultimate abstraction of mind.
— From Chu Spaces: automata with quantum aspects by Vaughan Pratt
Reflecting an era of reduced expectations for the superiority of humans, we have implemented causal interaction not with the pineal gland but with machinery freely available to all classical entities, whether newt, pet rock, electron, or theorem (but not quantum mechanical wavefunction, which is sibling to if not an actual instance of our machinery).
— From Rational Mechanics and Natural Mathematics by Vaughan Pratt