From produoidals to prodependence

Last updated Sep 8, 2023

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