I have not studied formally but have been looking into a a while. For me is a form of math so abstract there is very little math involve, This is coming from a programming perspective. To me it just feels like another programming language :)