DinaturalityLast updated Feb 3, 2024bicategories of processes and lax dinaturalitydinaturality for monoidal streams