That’s what led [Luke Wren] to create asciiwave, a fantastic tool that turns WaveDrom timing diagrams into ASCII art. Unlike images, ASCII timing diagrams are suitable for pasting into comment ...
Check that a set does not include an element that is not in the universal set. Draw a Venn diagram for ξ = {positive whole numbers less than 10}, A = {prime numbers} and B = {even numbers}.
A range of topics are explored from the perspective of string diagrams, including adjunctions, monad and comonads, Kleisli and Eilenberg–Moore categories, and endofunctor algebras and coalgebras.