Search
❯
Dec 08, 20251 min read
This is, a duoidale in the monoidal bicategory PAR of partial functions.
Tags: duoid, duoidale.