Prodependence in produoidals

Last updated Apr 23, 2024

References: Duoidal Structures for Compositional Dependence (Shapiro, Spivak, 2022), Tannaka Duality and Convolution for Duoidal Categories (Booker, Street, 2013).

Tags: From produoidals to prodependence.