この資料をSMS送信: Relative Frobenius algebras are groupoids