본 논문은 양자 계산의 고차 유니터리 연산을 모델링하기 위한 대칭 모노이드 폐쇄 범주의 게임을 개발한다. 이 모델은 기저 유형의 모든 유니터리 연산자를 표현할 수 있는 표현력이 있으며, 기저 유형과 호환되고 유니터리 연산자로 실현될 수 있다.
