퍼뮤타드와 순열체의 새로운 연산 구조

퍼뮤타드는 유한 집합 사이의 전사 사상을 이용해 정의되는 새로운 종류의 연산자 구조이다. 전사 사상의 치환을 통해 얻어지는 모나드 위에서의 대수로, 기존의 비대칭(비대칭) 오페라드와는 달리 병렬 합성 공리를 포기한 비가환 버전을 제공한다. 퍼뮤타드와 셔플 대수, 셔플 오페라드 사이의 동등성 및 퍼뮤토헤드와의 관계를 밝히며, 연관된 최소 모델이 어소시아헤드 대신 퍼뮤토헤드에 의해 결정된다는 점을 강조한다.

저자: Jean-Louis Loday, Maria Ronco