抽象代数学

https://ja.wikipedia.org/wiki/%E6%8A%BD%E8%B1%A1%E4%BB%A3%E6%95%B0%E5%AD%A6
心の哲学みたいな懐の深さがありそうな学問分野。
モナドを調べててこのページまで来た。