Imperative Categories? — LessWrong