Untitled 4 Drawing exported from Concepts: Smarter Sketching image/svg+xml Category theory for programmers Drawing exported from Concepts: Smarter Sketching