프라베니우스 단사함수: 강단사함수보다 약한 조건으로 이중체 보존

** 이 논문은 모노이달 범주 사이의 함수가 강단사(monidal)일 경우 이중체(dual objects)를 보존한다는 잘 알려진 사실을 출발점으로, 보다 약한 조건인 “프라베니우스 모노이달 함수(Frobenius monoidal functor)”를 정의하고 그 주요 성질을 전개한다. 1. **정의와 기본 성질** - 엄격한 모노이달 범주 \(\mathcal{A},\mathcal{B}\)를 가정하고, 함수 \(F:\mathcal{A}\to\mathcal{B}\)가 모노이달 구조 \((F,r,r_0)\)와 코모노이달 구조 \((F,i,i_0)\)를 동시에 갖는 경우를 고려한다. - 두 구조 사이에 다음 두 호환식이 요구된다. \