Prolinear category of spliced arrows

• Prolinearly distributive category