『圏論によるプログラミングと論理』

https://gyazo.com/3d23967fe8b5f821a6909aead788ada6