Integral in a bialgebra

Last updated Sep 8, 2023

Tags: algebra References:

• Categorical Composable Cryptography (Broadbent and Karvonen, 2021)