cvxz·5 ปีที่แล้ว·discussCategory theory has applications to quantum circuit minimisation: https://zxcalculus.com/pyzx.html and functional programming.