Drawing the Church booleansLast updated Apr 23, 2024Tags: star-autonomous category, string diagram, closed monoidal category