Integral in a bialgebraLast updated Feb 3, 2024Tags: algebra References:Categorical Composable Cryptography (Broadbent and Karvonen, 2021)