Applied Category Theory for Engineering Design

16.880