趣味でプログラミングやってて圏というのがでてきたのですが意味不明です
簡単にどういうものなのか教えていただけませんか？
特に、関手、モナド、自然変換、Kleisliについて教えてください