not to mention the "moist interesting category-theoretical concepts"