(no subject)

Overslept, read some category theory papers, didn't do a whole lot else productive.