i feel like a category theorist