-

Huh, Category theory not due until next week.

Did not expect to hear this.