Product (Category Theory) — LessWrong