-

bleh. tired.
Turned in topo. Thinking about categorical logic some more.