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

http://en.wikipedia.org/wiki/Boolean_algebra

http://en.wikipedia.org/wiki/Distributive_lattice

http://en.wikipedia.org/wiki/Vector_space

http://en.wikipedia.org/wiki/Partially_ordered_set

http://en.wikipedia.org/wiki/Set_%28mathematics%29

References:

Click to access ph94.pdf

Click to access ratmech.pdf

http://chu.stanford.edu/

http://en.wikipedia.org/wiki/Chu_space

Vaughan Pratt / The Stone Gamut: a coordinatization of mathematics

https://ieeexplore.ieee.org/document/523278

[*7.140]

<>