Normal duoidal category

Last updated Jul 23, 2024