Dependence from duoidals

Last updated Sep 8, 2023

Tags: duoidal category, Dependence category.