Applied Category Theory for Engineering Design