From produoidals to prodependence

Last updated Feb 3, 2024

Tags: Dependence category, duoidal category, Dependence from duoidals, Polarized notation for optics, Prodependence in produoidals.