From produoidals to prodependence

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